Remove spurious $

mmtk · Oct 3, 2024 · 876ee98 · 876ee98
1 parent 19ecd20
commit 876ee98
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ubuntu.yml b/.github/workflows/ubuntu.yml
@@ -107,7 +107,7 @@ jobs:
         run: |
           cd ../src/gc/mmtk
           cargo build
-        if: $${{ matrix.shared_gc && matrix.gc_name == 'mmtk' }}
+        if: ${{ matrix.shared_gc && matrix.gc_name == 'mmtk' }}
 
       - name: Build shared GC
         run: |