diff --git a/.github/workflows/halmos.yml b/.github/workflows/halmos.yml
index 570a8aae..a7c3ebed 100644
--- a/.github/workflows/halmos.yml
+++ b/.github/workflows/halmos.yml
@@ -2,6 +2,7 @@ name: 👁️ Halmos symbolic tests
 
 on:
   schedule:
+    # Run every day at 03:30 UTC.
     - cron: "30 3 * * *"
   workflow_dispatch:
 
@@ -10,7 +11,7 @@ concurrency:
   cancel-in-progress: true
 
 jobs:
-  halmos-tests:
+  halmos:
     runs-on: ${{ matrix.os }}
     strategy:
       matrix:
@@ -55,11 +56,11 @@ jobs:
       - name: Show the Halmos version
         run: halmos --version
 
-      - name: Install Homebrew
-        uses: Homebrew/actions/setup-homebrew@master
-
       - name: Install Yices 2 SMT solver
-        run: brew install SRI-CSL/sri-csl/yices2
+        run: |
+          sudo add-apt-repository ppa:sri-csl/formal-methods
+          sudo apt-get update
+          sudo apt-get install yices2
 
       - name: Show the Foundry Halmos config
         run: forge config