.github/workflows/lean_action_ci.yml


1
2
3
4
5
6
7
8
9
10
11
12
13
14

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