Skip to content

Actions: utensil/formal-land

Actions

Lean 4 CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lean4.yml
132 workflow runs
132 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Deploy all again [annotate] Lean 4 CI #257: Commit afcf800 pushed by utensil
March 26, 2025 08:34 16m 9s main
main
March 26, 2025 08:34 16m 9s
Deploy all [annotate] Lean 4 CI #256: Commit 3c9986f pushed by utensil
March 26, 2025 07:55 16m 10s main
main
March 26, 2025 07:55 16m 10s
Fix duper basic Lean 4 CI #255: Commit 830242e pushed by utensil
March 26, 2025 06:53 12m 57s main
main
March 26, 2025 06:53 12m 57s
Reorder CI so it might work Lean 4 CI #254: Commit 0807c87 pushed by utensil
March 26, 2025 06:41 12m 15s main
main
March 26, 2025 06:41 12m 15s
Try to make duper work Lean 4 CI #253: Commit 7d2c27d pushed by utensil
March 26, 2025 04:51 6m 20s main
main
March 26, 2025 04:51 6m 20s
Pass just test under lean4 for v4.18.0-rc1 Lean 4 CI #252: Commit 8fa834b pushed by utensil
March 25, 2025 13:46 13m 51s main
main
March 25, 2025 13:46 13m 51s
Rebuild all [annotate] Lean 4 CI #251: Commit fb96f03 pushed by utensil
November 6, 2024 12:21 15m 6s main
main
November 6, 2024 12:21 15m 6s
Fix filter glob Lean 4 CI #250: Commit 2e3c15c pushed by utensil
October 28, 2024 15:51 18m 6s main
main
October 28, 2024 15:51 18m 6s
Hide bottom toc, and improve math syntax [annotate] Lean 4 CI #249: Commit 61fa921 pushed by utensil
October 28, 2024 15:42 14m 38s main
main
October 28, 2024 15:42 14m 38s
Hide bottom toc, and improve math syntax Lean 4 CI #248: Commit dbeaa79 pushed by utensil
October 28, 2024 15:41 1m 28s main
main
October 28, 2024 15:41 1m 28s
Fix Verso path [annotate] Lean 4 CI #247: Commit ce2a6e1 pushed by utensil
October 28, 2024 13:26 16m 54s main
main
October 28, 2024 13:26 16m 54s
Deploy all [annotate] Lean 4 CI #246: Commit d167136 pushed by utensil
October 28, 2024 13:00 14m 43s main
main
October 28, 2024 13:00 14m 43s
Try add Verso doc to pages; add mechanism to trigger all CI [annotate] Lean 4 CI #245: Commit 302149c pushed by utensil
October 28, 2024 12:51 9m 14s main
main
October 28, 2024 12:51 9m 14s
Don't use github cache for lean-action [annotate] Lean 4 CI #244: Commit e9a5370 pushed by utensil
October 28, 2024 12:35 16m 42s main
main
October 28, 2024 12:35 16m 42s
Workaround for multiline math Lean 4 CI #243: Commit db9096b pushed by utensil
October 27, 2024 14:28 3m 20s main
main
October 27, 2024 14:28 3m 20s
Make basic math work Lean 4 CI #242: Commit ba64d4d pushed by utensil
October 27, 2024 13:59 3m 35s main
main
October 27, 2024 13:59 3m 35s
Test Verso Markdown support Lean 4 CI #241: Commit 9dae348 pushed by utensil
October 27, 2024 13:27 3m 26s main
main
October 27, 2024 13:27 3m 26s
No mathlib for Verso for now Lean 4 CI #240: Commit 5e232d3 pushed by utensil
October 27, 2024 09:29 11m 42s main
main
October 27, 2024 09:29 11m 42s
Minimal working Verso Lean 4 CI #239: Commit 04daf7a pushed by utensil
October 27, 2024 09:26 1m 24s main
main
October 27, 2024 09:26 1m 24s
Run Sci CI only on Mac for now Lean 4 CI #238: Commit fc8cd58 pushed by utensil
October 27, 2024 08:44 18m 41s main
main
October 27, 2024 08:44 18m 41s
Merge branch 'main' of https://github.com/utensil/formal-land Lean 4 CI #237: Commit fd331a0 pushed by utensil
October 24, 2024 07:24 45m 4s main
main
October 24, 2024 07:24 45m 4s
Merge pull request #3 from utensil/dependabot/github_actions/dorny/pa… Lean 4 CI #236: Commit 9b88b8c pushed by utensil
October 24, 2024 01:05 18m 3s main
main
October 24, 2024 01:05 18m 3s
Add SciXp to CI Lean 4 CI #235: Commit 0bf1269 pushed by utensil
October 23, 2024 13:51 47m 34s main
main
October 23, 2024 13:51 47m 34s
Tweaks around SciXp Lean 4 CI #234: Commit c78847e pushed by utensil
October 23, 2024 13:48 2m 0s main
main
October 23, 2024 13:48 2m 0s
Add VersoXp, use lakefile.toml and reservoir require for the first time Lean 4 CI #233: Commit 979a57b pushed by utensil
October 23, 2024 09:32 11m 8s main
main
October 23, 2024 09:32 11m 8s