Skip to content

Actions: SorryDB/LeanUtils

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
83 workflow runs
83 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
fix String API Lean Action CI #83: Commit 03fb117 pushed by austinletson
27s extract-goal
extract-goal
27s
fix and switch version Lean Action CI #82: Commit f487f74 pushed by austinletson
31s extract-goal
extract-goal
31s
upgrade and fix Lean Action CI #81: Commit 200ea0b pushed by austinletson
32s extract-goal
extract-goal
32s
added pretty printing temporaly removed comptabilty hack Lean Action CI #80: Commit 29dccb7 pushed by FrederickPu
23s extract-goal
extract-goal
23s
initial sketch Lean Action CI #79: Commit c29a667 pushed by FrederickPu
30s extract-goal
extract-goal
30s
test: add a lake test driver Lean Action CI #78: Commit 132618c pushed by austinletson
23s add-test-driver
add-test-driver
23s
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