From 961455d7115be1213033e4f31bc190c4a6e9792b Mon Sep 17 00:00:00 2001 From: zach Date: Mon, 22 Jan 2024 13:06:13 -0800 Subject: [PATCH] ci: add workflow --- .github/workflows/ci.yml | 24 ++++++++++++++++++++++++ 1 file changed, 24 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..61cfc52 --- /dev/null +++ b/.github/workflows/ci.yml @@ -0,0 +1,24 @@ +on: + pull_request: + workflow_dispatch: + +name: CI + +jobs: + update_lean_xyz_branch_and_build: + runs-on: ubuntu-latest + name: Update lean-x.y.z branch and build project + steps: + + - name: checkout project + uses: actions/checkout@v2 + with: + fetch-depth: 0 + + - name: update branch + if: github.ref == 'refs/heads/master' + uses: leanprover-contrib/update-versions-action@master + + - name: build project + uses: leanprover-contrib/lean-build-action@master +