summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Build/source/.github/workflows/main.yml10
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: