aboutsummaryrefslogtreecommitdiffhomepage
path: root/.github
diff options
context:
space:
mode:
authorGravatar mitchell <70453897+orbitalquark@users.noreply.github.com>2022-03-01 22:18:50 -0500
committerGravatar mitchell <70453897+orbitalquark@users.noreply.github.com>2022-03-01 22:18:50 -0500
commit45c94a1d395f560c015c6b1a7a3fc3558f7de395 (patch)
treea8b21d34371a1d9f80887a67320ce6eeabfe4668 /.github
parent38eaaabdd89cfed6d446ab13c4cca653d054ff33 (diff)
Build with GTK3 by default on Linux using new textadept-build:v2.0 Docker image.
Build with GTK 2 using new GTK2 flag.
Diffstat (limited to '.github')
-rw-r--r--.github/workflows/release.yml16
1 files changed, 2 insertions, 14 deletions
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
index 5ecea38c..26e56752 100644
--- a/.github/workflows/release.yml
+++ b/.github/workflows/release.yml
@@ -12,25 +12,13 @@ on:
jobs:
build:
- runs-on: ubuntu-18.04
- container: ghcr.io/orbitalquark/textadept-build:v1.0
+ runs-on: ubuntu-20.04
+ container: ghcr.io/orbitalquark/textadept-build:v2.0
outputs:
version: ${{ steps.build.outputs.version }}
steps:
- name: Checkout
uses: actions/checkout@v2
- - name: Git init if necessary
- shell: bash
- run: |
- # If git version is less than 2.18, a git clone will not be made in this container. In
- # that case, make a temporary repository so "make release" can archive the repo's
- # contents for release.
- if [[ -d .git ]]; then exit 0; fi
- git init
- git add .
- git config --global user.email "none@example.com"
- git config --global user.name "none"
- git commit -m 'none'
- name: Checkout textadept-build dependencies
uses: actions/checkout@v2
with: