Skip to content

Actions: SorryDB/LeanUtils

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
80 workflow runs
80 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
Delete PrintNode Lean Action CI #30: Commit 2210557 pushed by Aaron1011
14s kernel-check
kernel-check
14s
Fix banning Lean Action CI #29: Commit 7af03f2 pushed by Aaron1011
26s kernel-check
kernel-check
26s
Merge pull request #3 from SorryDB/add-tests Lean Action CI #28: Commit ade2a7e pushed by LennyTaelman
16s main
main
16s
Fix linter error Lean Action CI #27: Commit d9da09e pushed by Aaron1011
13s kernel-check
kernel-check
13s
Add tests for sorry extraction Lean Action CI #26: Pull request #3 synchronize by Paul-Lez
14s add-tests
add-tests
14s
Add missing tests Lean Action CI #25: Commit 49e83bf pushed by Paul-Lez
14s add-tests
add-tests
14s
Add tests for sorry extraction Lean Action CI #24: Pull request #3 synchronize by Paul-Lez
15s add-tests
add-tests
15s
Uncomment stuff Lean Action CI #23: Commit b5d949c pushed by Paul-Lez
20s add-tests
add-tests
20s
Add tests for sorry extraction Lean Action CI #22: Pull request #3 opened by Paul-Lez
31s add-tests
add-tests
31s
Add tests for sorry extraction Lean Action CI #21: Commit 4d797fa pushed by Paul-Lez
16s add-tests
add-tests
16s
Remove logs Lean Action CI #20: Commit c0b7ccf pushed by Aaron1011
3m 0s kernel-check
kernel-check
3m 0s
Lean Action CI Lean Action CI #19: by Aaron1011
46s kernel-check
kernel-check
46s
Lean Action CI Lean Action CI #18: by Aaron1011
54s kernel-check
kernel-check
54s
Lean Action CI Lean Action CI #17: by Aaron1011
47s kernel-check
kernel-check
47s
Lean Action CI Lean Action CI #16: by Aaron1011
4m 21s kernel-check
kernel-check
4m 21s
Hack to environment working Lean Action CI #15: Commit f3aab13 pushed by Aaron1011
19s kernel-check
kernel-check
19s
Add prints Lean Action CI #14: Commit 77f35ee pushed by Aaron1011
20s kernel-check
kernel-check
20s
Add dummy frontend Lean Action CI #13: Commit 7e03f33 pushed by Aaron1011
19s kernel-check
kernel-check
19s
More work on kernel check Lean Action CI #12: Commit f68a28d pushed by Aaron1011
21s kernel-check
kernel-check
21s
Get broken version compiling Lean Action CI #11: Commit 61586cf pushed by Aaron1011
16s kernel-check
kernel-check
16s
did kernel check Lean Action CI #10: Commit c4ea69c pushed by FrederickPu
26s kernel-check
kernel-check
26s
Merge pull request #1 from SorryDB/init Lean Action CI #9: Commit e5d5b3d pushed by LennyTaelman
22s main
main
22s
Add initial Lean project and sorry extraction tool Lean Action CI #8: Pull request #1 synchronize by Paul-Lez
19s init
init
19s
Final fix? Lean Action CI #7: Commit f6acce0 pushed by Paul-Lez
16s init
init
16s
Add initial Lean project and sorry extraction tool Lean Action CI #6: Pull request #1 synchronize by Paul-Lez
14s init
init
14s