Skip to content

Actions: GasStationManager/SafeVerify

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
31 workflow runs
31 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

update readme Lean Action CI #31: Commit aa1bff5 pushed by GasStationManager
November 24, 2024 08:49 1m 32s main
main
November 24, 2024 08:49 1m 32s
build fix Lean Action CI #30: Commit 672dcbf pushed by GasStationManager
November 24, 2024 04:39 1m 38s main
main
November 24, 2024 04:39 1m 38s
code from Kim Morrison Lean Action CI #29: Commit 25d14c8 pushed by GasStationManager
November 24, 2024 04:28 1m 27s checking-for-implemented_by-and-making-sure-the-function-implementation-is-computable
checking-for-implemented_by-and-making-sure-the-function-implementation-is-computable
November 24, 2024 04:28 1m 27s
build Lean Action CI #28: Commit 727916b pushed by GasStationManager
November 24, 2024 04:26 1m 33s main
main
November 24, 2024 04:26 1m 33s
build command Lean Action CI #27: Commit b7b50da pushed by GasStationManager
November 24, 2024 04:26 1m 33s checking-for-implemented_by-and-making-sure-the-function-implementation-is-computable
checking-for-implemented_by-and-making-sure-the-function-implementation-is-computable
November 24, 2024 04:26 1m 33s
build command Lean Action CI #26: Commit b7b50da pushed by GasStationManager
November 24, 2024 04:08 1m 37s main
main
November 24, 2024 04:08 1m 37s
reorg tests Lean Action CI #25: Commit 0def6e7 pushed by GasStationManager
November 20, 2024 09:50 1m 38s main
main
November 20, 2024 09:50 1m 38s
update README Lean Action CI #24: Commit cea60e5 pushed by GasStationManager
November 20, 2024 00:37 2m 4s main
main
November 20, 2024 00:37 2m 4s
adding to README Lean Action CI #23: Commit 633a4cc pushed by GasStationManager
November 19, 2024 08:08 1m 45s main
main
November 19, 2024 08:08 1m 45s
more fixes; ban unsafe/partial Lean Action CI #22: Commit 41a39b6 pushed by GasStationManager
November 19, 2024 06:58 1m 39s main
main
November 19, 2024 06:58 1m 39s
print some info Lean Action CI #21: Commit 86d31a8 pushed by GasStationManager
November 19, 2024 04:32 2m 9s main
main
November 19, 2024 04:32 2m 9s
Merge branch 'main' of https://github.com/GasStationManager/SafeVerify Lean Action CI #20: Commit 1790325 pushed by GasStationManager
November 19, 2024 01:38 1m 32s main
main
November 19, 2024 01:38 1m 32s
test with implemented_by Lean Action CI #19: Commit fee7e7a pushed by GasStationManager
November 19, 2024 01:22 1m 32s main
main
November 19, 2024 01:22 1m 32s
try printing exception from replay Lean Action CI #18: Commit 50a28d0 pushed by GasStationManager
November 18, 2024 22:14 1m 38s main
main
November 18, 2024 22:14 1m 38s
test case for add axiom Lean Action CI #17: Commit 7f0bce6 pushed by GasStationManager
November 18, 2024 21:55 2m 7s main
main
November 18, 2024 21:55 2m 7s
noncomputable fix debug3 Lean Action CI #16: Commit 789bbcd pushed by GasStationManager
November 18, 2024 11:44 2m 0s main
main
November 18, 2024 11:44 2m 0s
noncomputable fix debug2 Lean Action CI #15: Commit 5288969 pushed by GasStationManager
November 18, 2024 11:39 1m 38s main
main
November 18, 2024 11:39 1m 38s
noncomputable fix debug Lean Action CI #14: Commit 430e104 pushed by GasStationManager
November 18, 2024 11:35 1m 37s main
main
November 18, 2024 11:35 1m 37s
noncomputable fix Lean Action CI #13: Commit f39d28f pushed by GasStationManager
November 18, 2024 11:11 2m 5s main
main
November 18, 2024 11:11 2m 5s
typo test fix Lean Action CI #12: Commit 58fdd84 pushed by GasStationManager
November 18, 2024 09:13 2m 0s main
main
November 18, 2024 09:13 2m 0s
test fix Lean Action CI #11: Commit 9a30f66 pushed by GasStationManager
November 18, 2024 09:11 1m 35s main
main
November 18, 2024 09:11 1m 35s
test for noncomputable Lean Action CI #10: Commit 9ea7fa3 pushed by GasStationManager
November 18, 2024 09:02 1m 36s main
main
November 18, 2024 09:02 1m 36s
add check for safety and noncomputable Lean Action CI #9: Commit 9f719cd pushed by GasStationManager
November 18, 2024 09:01 1m 37s main
main
November 18, 2024 09:01 1m 37s
more tests Lean Action CI #8: Commit 52bb38c pushed by GasStationManager
November 18, 2024 03:01 1m 37s main
main
November 18, 2024 03:01 1m 37s
clean up Lean Action CI #7: Commit 22e855f pushed by GasStationManager
November 18, 2024 02:58 1m 36s main
main
November 18, 2024 02:58 1m 36s