Skip to content

Actions: NyxFoundation/gasper-lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
41 workflow runs
41 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
add remediation plan for checkpoint-tree semantics Lean Action CI #21: Commit e1ed39f pushed by banr1
3m 2s fix/checkpoint-tree-semantics
fix/checkpoint-tree-semantics
3m 2s
update README Lean Action CI #20: Commit 7650709 pushed by banr1
1m 53s main
main
1m 53s
update README Deploy Verso Literate to GitHub Pages #20: Commit 7650709 pushed by banr1
4m 17s main
main
4m 17s
fix format Deploy Verso Literate to GitHub Pages #19: Commit b12c308 pushed by banr1
5m 9s main
main
5m 9s
fix format Lean Action CI #19: Commit b12c308 pushed by banr1
1m 44s main
main
1m 44s
fix format Lean Action CI #18: Commit a52410d pushed by banr1
1m 34s main
main
1m 34s
fix format Deploy Verso Literate to GitHub Pages #18: Commit a52410d pushed by banr1
4m 7s main
main
4m 7s
add README Deploy Verso Literate to GitHub Pages #17: Commit 012bdfd pushed by banr1
4m 15s main
main
4m 15s
add README Lean Action CI #17: Commit 012bdfd pushed by banr1
1m 28s main
main
1m 28s
[modify] Prototype of Executable. Lean Action CI #16: Commit 529f88b pushed by 0xfab0131
1m 35s main
main
1m 35s
[modify] Prototype of Executable. Deploy Verso Literate to GitHub Pages #16: Commit 529f88b pushed by 0xfab0131
4m 38s main
main
4m 38s
[modify] page descriptions 7. Deploy Verso Literate to GitHub Pages #15: Commit dceaee5 pushed by 0xfab0131
5m 14s main
main
5m 14s
[modify] page descriptions 7. Lean Action CI #15: Commit dceaee5 pushed by 0xfab0131
1m 24s main
main
1m 24s
[modify] page descriptions 6. Lean Action CI #14: Commit e03cf93 pushed by 0xfab0131
1m 20s main
main
1m 20s
[modify] page descriptions 6. Deploy Verso Literate to GitHub Pages #14: Commit e03cf93 pushed by 0xfab0131
4m 17s main
main
4m 17s
[modify] page descriptions 5. Lean Action CI #13: Commit 3b0a272 pushed by 0xfab0131
1m 27s main
main
1m 27s
[modify] page descriptions 5. Deploy Verso Literate to GitHub Pages #13: Commit 3b0a272 pushed by 0xfab0131
5m 58s main
main
5m 58s
[modify] page descriptions 4. Deploy Verso Literate to GitHub Pages #12: Commit a4fb15f pushed by 0xfab0131
2m 8s main
main
2m 8s
[modify] page descriptions 4. Lean Action CI #12: Commit a4fb15f pushed by 0xfab0131
1m 33s main
main
1m 33s
[modify] page descriptions 3. Deploy Verso Literate to GitHub Pages #11: Commit 33b5540 pushed by 0xfab0131
4m 53s main
main
4m 53s
[modify] page descriptions 3. Lean Action CI #11: Commit 33b5540 pushed by 0xfab0131
1m 33s main
main
1m 33s
[modify] page descriptions 2. Lean Action CI #10: Commit 52ba2a6 pushed by 0xfab0131
1m 33s main
main
1m 33s
[modify] page descriptions 2. Deploy Verso Literate to GitHub Pages #10: Commit 52ba2a6 pushed by 0xfab0131
4m 26s main
main
4m 26s
[modify] ci page config-5. Deploy Verso Literate to GitHub Pages #9: Commit d8eed95 pushed by 0xfab0131
4m 14s main
main
4m 14s
[modify] ci page config-5. Lean Action CI #9: Commit d8eed95 pushed by 0xfab0131
1m 24s main
main
1m 24s