Add experikents CI workflow

opencompl · Oct 23, 2023 · 9880f6c · 9880f6c
1 parent 77002aa
commit 9880f6c
Showing 1 changed file with 18 additions and 0 deletions.
diff --git a/.github/workflows/ci-experiments.yml b/.github/workflows/ci-experiments.yml
@@ -0,0 +1,18 @@
+name: Run experiments
+
+on:
+  push:
+    branches:
+      - christos/experiments-ci
+  pull_request:
+
+jobs:
+  run-experiments:
+    runs-on: ubuntu-latest
+    container: ghcr.io/nazavode/snitch-toolchain:2.3
+    steps:
+      - uses: actions/checkout@v3
+        with:
+          submodules: recursive
+      - name: Run experiments
+        run: /scripts/run.sh