10000 Workflow runs · GasStationManager/LeanTool · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Actions: GasStationManager/LeanTool

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
137 workflow runs
137 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

readme update Lean Action CI #12: Commit b3c9714 pushed by GasStationManager
December 21, 2024 07:36 1m 43s main
main
December 21, 2024 07:36 1m 43s
fixes for streaming Lean Action CI #11: Commit 7a30702 pushed by GasStationManager
December 20, 2024 09:09 1m 43s main
main
December 20, 2024 09:09 1m 43s
api server Lean Action CI #10: Commit 219def2 pushed by GasStationManager
December 20, 2024 07:41 1m 45s main
main
December 20, 2024 07:41 1m 45s
Merge pull request #3 from GasStationManager/extract-goal-states-from… Lean Action CI #9: Commit 89b3894 pushed by GasStationManager
December 17, 2024 07:00 2m 11s main
main
December 17, 2024 07:00 2m 11s
Extract goal states from sorrys Lean Action CI #8: Pull request #3 opened by GasStationManager
December 17, 2024 06:58 2m 1s extract-goal-states-from-sorrys
extract-goal-states-from-sorrys
December 17, 2024 06:58 2m 1s
API servers Lean Action CI #7: Commit 93031b2 pushed by GasStationManager
December 17, 2024 06:57 1m 42s extract-goal-states-from-sorrys
extract-goal-states-from-sorrys
December 17, 2024 06:57 1m 42s
more system messages Lean Action CI #6: Commit c1c2f5c pushed by GasStationManager
December 17, 2024 06:15 1m 47s extract-goal-states-from-sorrys
extract-goal-states-from-sorrys
December 17, 2024 06:15 1m 47s
update readme Lean Action CI #5: Commit 22bc07e pushed by GasStationManager
December 15, 2024 22:16 2m 6s extract-goal-states-from-sorrys
extract-goal-states-from-sorrys
December 15, 2024 22:16 2m 6s
add pantograph to extract goals at sorrys Lean Action CI #4: Commit 799d489 pushed by GasStationManager
December 13, 2024 08:07 2m 5s extract-goal-states-from-sorrys
extract-goal-states-from-sorrys
December 13, 2024 08:07 2m 5s
cli chat improvements Lean Action CI #3: Commit 0f202b7 pushed by GasStationManager
December 10, 2024 03:40 1m 40s extract-goal-states-from-sorrys
extract-goal-states-from-sorrys
December 10, 2024 03:40 1m 40s
cli chat improvements Lean Action CI #2: Commit 0f202b7 pushed by GasStationManager
December 10, 2024 01:53 1m 43s main
main
December 10, 2024 01:53 1m 43s
lean installation Lean Action CI #1: Commit 998d258 pushed by GasStationManager
December 9, 2024 00:54 2m 15s main
main
December 9, 2024 00:54 2m 15s
0