Skip to content

Actions: leanprover/fp-lean

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
61 workflow runs
61 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Simplify an example in Coercions and fix a typo CI #544: Pull request #302 opened by nalepae
Action required nalepae:master
nalepae:master
Action required
chore: update plausible.io snippet to newest version CI #543: Pull request #300 opened by ashandoak
13m 40s ashandoak:plausible-analytics
ashandoak:plausible-analytics
13m 40s
chore: update to Lean v4.33.0 (#295) CI #542: Commit 0abeea5 pushed by david-christiansen
12m 36s release-2026-08
release-2026-08
12m 36s
chore: update to Lean v4.33.0 (#295) CI #541: Commit 0abeea5 pushed by david-christiansen
13m 32s master
master
13m 32s
chore: update to Lean v4.33.0 CI #540: Pull request #295 synchronize by david-christiansen
10m 26s 4-33
4-33
10m 26s
chore: update to Lean v4.33.0 CI #539: Pull request #295 opened by david-christiansen
13m 14s 4-33
4-33
13m 14s
fix doug version with ReaderT CI #538: Pull request #294 opened by svillemot
2m 9s svillemot:master
svillemot:master
2m 9s
chore: README that describes server (#293) CI #537: Commit 02dbbeb pushed by david-christiansen
2m 4s release-2026-07
release-2026-07
2m 4s
chore: README that describes server (#293) CI #536: Commit 02dbbeb pushed by david-christiansen
2m 4s master
master
2m 4s
chore: README that describes server CI #535: Pull request #293 opened by david-christiansen
1m 59s readme-server
readme-server
1m 59s
chore: fix up CI (#292) CI #534: Commit d01d133 pushed by david-christiansen
2m 26s master
master
2m 26s
chore: fix up CI CI #533: Pull request #292 opened by david-christiansen
2m 14s ci-fixup
ci-fixup
2m 14s
fix: local build output directory path in README (#277) CI #532: Commit cc34413 pushed by david-christiansen
1m 59s master
master
1m 59s
fix:typo (#286) CI #530: Commit 3c2f82e pushed by david-christiansen
11m 51s master
master
11m 51s
fix two typos (#288) CI #529: Commit 7ce69ee pushed by david-christiansen
11m 3s master
master
11m 3s
feat: update to Lean v4.32.0 (#290) CI #528: Commit dec743b pushed by david-christiansen
12m 41s master
master
12m 41s
feat: update to Lean v4.32.0 CI #527: Pull request #290 synchronize by david-christiansen
7m 31s bump-2026-07
bump-2026-07
7m 31s
feat: update to Lean v4.32.0 CI #526: Pull request #290 synchronize by david-christiansen
11m 58s bump-2026-07
bump-2026-07
11m 58s
feat: update to Lean v4.32.0 CI #525: Pull request #290 synchronize by david-christiansen
13m 33s bump-2026-07
bump-2026-07
13m 33s
update local building instructions in README.md CI #524: Pull request #284 synchronize by dimpase
8m 24s dimpase:local_build_fixes
dimpase:local_build_fixes
8m 24s
fix two typos CI #523: Pull request #288 synchronize by svillemot
8m 36s svillemot:master
svillemot:master
8m 36s
feat: update to Lean v4.32.0 CI #522: Pull request #290 opened by david-christiansen
12m 53s bump-2026-07
bump-2026-07
12m 53s
chore: remove expect requirement and clean up modules (#289) CI #521: Commit d60b223 pushed by david-christiansen
8m 20s master
master
8m 20s
chore: remove expect requirement and clean up modules CI #519: Pull request #289 opened by david-christiansen
9m 7s no-expect
no-expect
9m 7s
fix two typos CI #518: Pull request #288 opened by svillemot
1m 29s svillemot:master
svillemot:master
1m 29s