From 649b8c181d628f887a0be9634792e5b0b657eef9 Mon Sep 17 00:00:00 2001 From: Travis Hance Date: Sat, 14 Sep 2024 10:15:13 -0400 Subject: [PATCH] Create ci.yml --- .github/workflows/ci.yml | 29 +++++++++++++++++++++++++++++ 1 file changed, 29 insertions(+) create mode 100644 .github/workflows/ci.yml diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml new file mode 100644 index 0000000..275819b --- /dev/null +++ b/.github/workflows/ci.yml @@ -0,0 +1,29 @@ +name: Build CI + +on: + push: + branches: [ "main" ] + pull_request: + branches: [ "main" ] + +jobs: + build: + + runs-on: ubuntu-latest + + steps: + - uses: actions/checkout@v4 + + - name: Install dependencies + run: | + sudo apt-get install opam + opam init + opam repo add coq-released https://coq.inria.fr/opam/released + opam update + opam pin coq 8.19.1 --confirm-level=yes + opam pin coq-iris 4.2.0 --confirm-level=yes + + - name: Run check + run: | + eval $(opam env) + make -j4