Skip to content

Actions: SorryDB/LeanUtils

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
77 workflow runs
77 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: improve error log during sorry extraction (#8) Lean Action CI #77: Commit 64e319a pushed by Paul-Lez
29s main
main
29s
chore: improve error log during sorry extraction Lean Action CI #76: Pull request #8 opened by Paul-Lez
30s test-pr
test-pr
30s
add printing Lean Action CI #75: Commit de76c24 pushed by Paul-Lez
21s test-pr
test-pr
21s
Merge branch 'main' into test-pr Lean Action CI #74: Commit 7d36adb pushed by Paul-Lez
22s test-pr
test-pr
22s
Improve error messages in sorry extraction Lean Action CI #73: Commit bace69d pushed by Paul-Lez
29s test-pr
test-pr
29s
Undo hack to serialise properly Lean Action CI #72: Commit 22989f4 pushed by Paul-Lez
32s main
main
32s
Fix issues arising from previous hack replacing Position by Location Lean Action CI #71: Commit a9b81fc pushed by Paul-Lez
24s main
main
24s
Mini hack to get right JSon fields Lean Action CI #70: Commit 2c5dd35 pushed by Paul-Lez
25s main
main
25s
Don't print the output to stderr Lean Action CI #69: Commit 5c602f2 pushed by Paul-Lez
18s main
main
18s
Add verbose flag and make errors use eprintln Lean Action CI #68: Commit 018fddf pushed by Paul-Lez
21s main
main
21s
Fix search path root Lean Action CI #67: Commit 1d63ab0 pushed by Paul-Lez
33s main
main
33s
Fix search path Lean Action CI #66: Commit 6abaa0c pushed by Paul-Lez
29s test-pr
test-pr
29s
call functions Lean Action CI #65: Commit b02c971 pushed by Paul-Lez
22s test-pr
test-pr
22s
Add message log functions Lean Action CI #64: Commit c615b27 pushed by Paul-Lez
23s test-pr
test-pr
23s
Remove silly code Lean Action CI #63: Commit a18223f pushed by Paul-Lez
20s main
main
20s
Add logging to extractInfoTree Lean Action CI #62: Commit 20db2cb pushed by Paul-Lez
17s main
main
17s
Print filepath when running extract sorry Lean Action CI #61: Commit eed4488 pushed by Paul-Lez
19s main
main
19s
Actually add logging Lean Action CI #60: Commit 1bafffe pushed by Paul-Lez
29s main
main
29s
Add logging to ExtractSorry Lean Action CI #59: Commit 82ff56d pushed by Paul-Lez
28s main
main
28s
fix: wrong target binary Lean Action CI #58: Commit 1b24df1 pushed by LennyTaelman
22s main
main
22s
test: add tests for several Lean versions Lean Action CI #57: Pull request #7 opened by Paul-Lez
34s testing
testing
34s
Merge remote-tracking branch 'origin/main' into testing Lean Action CI #56: Commit 44a5fb5 pushed by Paul-Lez
34s testing
testing
34s
Add missing Lean file Lean Action CI #55: Commit e039ede pushed by Paul-Lez
27s testing
testing
27s
Clean up a little (#4) Lean Action CI #54: Commit f348a29 pushed by Paul-Lez
20s main
main
20s
Get it working Lean Action CI #53: Commit d802264 pushed by Aaron1011
24s run-tactic
run-tactic
24s