This is a GitHub action for Lean project CI. At the scheduled time (typically on a push to a branch), it will try to build the repo as a Lean project.
Create a file in your Lean project directory, /.github/workflows/lean_build.yml, with contents:
on:
push:
jobs:
build_project:
runs-on: ubuntu-latest
name: Build Lean project
steps:
- name: checkout project
uses: actions/checkout@v2
with:
fetch-depth: 0
- name: build project
uses: leanprover-contrib/lean-build-action@masterThis action assumes that you have a leanpkg.toml and src directory in the root of your repository.
If you have a different setup and would like to use this action,
open an issue and we'll see what we can do to generalize it.
This action is often used in combination with the update versions action. If you are using both, we recommend combining them into one workflow:
on:
push:
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