Skip to content

Merge pull request #12 from leanprover-community/bump_to_v4.16.0-rc2 #64

Merge pull request #12 from leanprover-community/bump_to_v4.16.0-rc2

Merge pull request #12 from leanprover-community/bump_to_v4.16.0-rc2 #64

Workflow file for this run

name: Lean Action CI
on:
push:
pull_request:
workflow_dispatch:
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: leanprover/lean-action@v1