From 9343dcea31ca93629e6541fd400bf2fb35b1dbd3 Mon Sep 17 00:00:00 2001
From: Daniel Larraz <daniel-larraz@users.noreply.github.com>
Date: Tue, 21 Jan 2025 15:00:16 -0600
Subject: [PATCH] ci: Build ethos Linux arm64 binaries (#107)

This aligns the set of platforms supported by ethos with those supported
by cvc5.
---
 .github/workflows/main.yml | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 2c8b87e..534f756 100644
--- 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