diff options
author | mitchell <70453897+orbitalquark@users.noreply.github.com> | 2022-03-01 22:18:50 -0500 |
---|---|---|
committer | mitchell <70453897+orbitalquark@users.noreply.github.com> | 2022-03-01 22:18:50 -0500 |
commit | 45c94a1d395f560c015c6b1a7a3fc3558f7de395 (patch) | |
tree | a8b21d34371a1d9f80887a67320ce6eeabfe4668 /.github | |
parent | 38eaaabdd89cfed6d446ab13c4cca653d054ff33 (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.yml | 16 |
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: |