diff options
-rw-r--r-- | Build/source/.github/workflows/main.yml | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/Build/source/.github/workflows/main.yml b/Build/source/.github/workflows/main.yml index ad8c23a5905..74ef7c32b88 100644 --- a/Build/source/.github/workflows/main.yml +++ b/Build/source/.github/workflows/main.yml @@ -1,3 +1,4 @@ +# $Id$ # .github/workflows/main.yml for texlive-source CI building # # Norbert Preining @@ -19,9 +20,9 @@ on: types: - released - prereleased -# push: -# branches: -# - trunk + push: + branches: + - trunk concurrency: group: ${{ github.workflow }}-${{ github.ref }} @@ -37,8 +38,9 @@ jobs: matrix: # we need to list the archs here, otherwise the matrix contains only # one element release_build and that is overwritten by the include statements - tl_name: [ i386-linux, x86_64-linux, x86_64-linuxmusl ] +# tl_name: [ i386-linux, x86_64-linux, x86_64-linuxmusl ] # tl_name: [ i386-linux, x86_64-linux, x86_64-linuxmusl, aarch64-linux, armhf-linux ] + tl_name: [ aarch64-linux, armhf-linux ] release_build: - ${{ startsWith(github.ref, 'refs/tags/') }} include: |