diff --git a/.github/workflows/build_examples.yml b/.github/workflows/build_examples.yml new file mode 100644 index 0000000..2c3a6d2 --- /dev/null +++ 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 \ No newline at end of file