ci: Build ethos Linux arm64 binaries (#107)

This aligns the set of platforms supported by ethos with those supported by cvc5.
cvc5 · Jan 21, 2025 · 9343dce · 9343dce
1 parent 7b9ea06
commit 9343dce
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -6,12 +6,15 @@ jobs:
   build:
     strategy:
       matrix:
-        name: [linux-x86_64, macOS-x86_64, macOS-arm64, windows-x86_64]
+        name: [linux-x86_64, linux-arm64, macOS-x86_64, macOS-arm64, windows-x86_64]
         build-type: [ release, debug ]
         include:
         - name: linux-x86_64
           os: ubuntu-20.04
           shell: bash
+        - name: linux-arm64
+          os: ubuntu-22.04-arm
+          shell: bash
         - name: macOS-x86_64
           os: macos-13
           shell: bash