From a986a99173b0e862f389cbe333525dfaf67bf8df Mon Sep 17 00:00:00 2001 From: Allan Blanchard Date: Fri, 1 Nov 2024 11:10:28 +0100 Subject: [PATCH] Add CI for code --- .github/workflows/code.yml | 26 ++++++++++++++++++++++++++ 1 file changed, 26 insertions(+) create mode 100644 .github/workflows/code.yml diff --git a/.github/workflows/code.yml b/.github/workflows/code.yml new file mode 100644 index 0000000..d015006 --- /dev/null +++ b/.github/workflows/code.yml @@ -0,0 +1,26 @@ +name: Tests + +on: [push] + +jobs: + compile: + name: Compile the tutorial + runs-on: ubuntu-latest + container: + image: ocaml/opam:debian + options: --user root + steps: + - name: initialize opam + run: opam init && opam update + - name: pin frama-c + run: opam pin frama-c --dev-repo + - name: install frama-c + run: opam depext frama-c && opam install frama-c + - name: install z3 + run: apt install z3 + - name: configure Why3 + run: why3 config detect + - name: retrieve sources + uses: actions/checkout@v4 + - name: tests + run: cd code && make prepare-tests && make run-tests