beta version test

runtimeverification · Mar 12, 2024 · 7d4ec0c · 7d4ec0c
1 parent 55a2dca
commit 7d4ec0c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/optimism-ci.yaml b/.github/workflows/optimism-ci.yaml
@@ -22,7 +22,7 @@ jobs:
     steps:
 
       - name: "Install KaaS"
-        uses: runtimeverification/install-kaas@v1
+        uses: runtimeverification/install-kaas@v0.0.1
 
       - name: 'Check out code'
         uses: actions/checkout@v4