add building examples to github actions

2023-02-05 16:12:52 -05:00 · 2023-02-05 16:12:52 -05:00 · 00b29bcd11
parent 54a15626ff
commit 00b29bcd11
1 changed files with 14 additions and 0 deletions
--- a/.github/workflows/build_examples.yml
+++ b/.github/workflows/build_examples.yml
@ -0,0 +1,14 @@
+name: build_examples
+on: [push]
+jobs:
+  counter:
+    strategy:
+      matrix:
+        os: [ubuntu-latest, ubuntu-22.04, ubuntu-20.04]
+    runs-on: ${{ matrix.os }}
+    steps:
+      - uses: actions/checkout@v3
+      - run: python3 manta.py gen examples/counter/ila.yaml
+      - name: build
+        working-directory: examples/counter
+        run: python3 lab-bc.py