Skip to content

Actions: utensil/formal-land

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
347 workflow runs
347 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add SciXp to CI Lean 4 CI #235: Commit 0bf1269 pushed by utensil
October 23, 2024 13:51 In progress main
main
October 23, 2024 13:51 In progress
Deploy Gitub Pages Deploy Gitub Pages #51: completed by utensil
October 23, 2024 13:51 3s
October 23, 2024 13:51 3s
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
Deploy Gitub Pages Deploy Gitub Pages #50: completed by utensil
October 23, 2024 09:44 29s
October 23, 2024 09:44 29s
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
Deploy Gitub Pages Deploy Gitub Pages #49: completed by utensil
October 23, 2024 08:31 36s
October 23, 2024 08:31 36s
Run less CI by detecting modification Lean 4 CI #232: Commit 6591643 pushed by utensil
October 23, 2024 08:30 46s main
main
October 23, 2024 08:30 46s
Deploy Gitub Pages Deploy Gitub Pages #48: completed by utensil
October 23, 2024 05:55 23s
October 23, 2024 05:55 23s
Deploy Gitub Pages Deploy Gitub Pages #47: completed by utensil
October 23, 2024 05:49 25s
October 23, 2024 05:49 25s
Merge pull request #2 from utensil/dependabot/github_actions/extracti… Aya CI #20: Commit 34f005d pushed by utensil
October 23, 2024 05:48 34s main
main
October 23, 2024 05:48 34s
Merge pull request #2 from utensil/dependabot/github_actions/extracti… Lean 4 CI #231: Commit 34f005d pushed by utensil
October 23, 2024 05:48 6m 24s main
main
October 23, 2024 05:48 6m 24s
Merge pull request #2 from utensil/dependabot/github_actions/extracti… TLA+ CI #16: Commit 34f005d pushed by utensil
October 23, 2024 05:48 1m 8s main
main
October 23, 2024 05:48 1m 8s
Deploy Gitub Pages Deploy Gitub Pages #46: completed by utensil
October 23, 2024 05:11 3s
October 23, 2024 05:11 3s
Add index for DuperXp Lean 4 CI #230: Commit 55daa9e pushed by utensil
October 23, 2024 05:10 54s main
main
October 23, 2024 05:10 54s
Deploy Gitub Pages Deploy Gitub Pages #45: completed by utensil
October 23, 2024 04:10 26s
October 23, 2024 04:10 26s
github_actions in /. - Update #905248955 Dependabot Updates #2: by dependabot bot
October 23, 2024 03:54 47s
October 23, 2024 03:54 47s
github_actions in /. - Update #905248957 Dependabot Updates #1: by dependabot bot
October 23, 2024 03:54 43s
October 23, 2024 03:54 43s
Start using lean-action [annotate] Lean 4 CI #229: Commit 70cce06 pushed by utensil
October 23, 2024 03:54 15m 47s main
main
October 23, 2024 03:54 15m 47s
Deploy Gitub Pages Deploy Gitub Pages #44: completed by utensil
October 23, 2024 03:44 36s
October 23, 2024 03:44 36s
Fix path issues [annotate] Lean 4 CI #228: Commit 1e65e37 pushed by utensil
October 23, 2024 03:30 13m 32s main
main
October 23, 2024 03:30 13m 32s
Deploy Gitub Pages Deploy Gitub Pages #43: completed by utensil
October 23, 2024 03:26 3s
October 23, 2024 03:26 3s
Fix shared annotation issues [annotate] Lean 4 CI #227: Commit fa7c66b pushed by utensil
October 23, 2024 03:12 13m 26s main
main
October 23, 2024 03:12 13m 26s
Deploy Gitub Pages Deploy Gitub Pages #42: completed by utensil
October 22, 2024 14:42 30s
October 22, 2024 14:42 30s
Make annotating shared too Lean 4 CI #226: Commit bd3510c pushed by utensil
October 22, 2024 14:28 14m 26s main
main
October 22, 2024 14:28 14m 26s
Deploy Gitub Pages Deploy Gitub Pages #41: completed by utensil
October 22, 2024 13:30 31s
October 22, 2024 13:30 31s