Skip to content

Actions: LeanOxide/leotower

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
32 workflow runs
32 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
Merge pull request #5 from LeanOxide/agent/leo3/9d4e8708b306 CI #30: Commit 4911814 pushed by AndPuQing
34m 49s main
main
34m 49s
packaging: add __version__ and Repl.__repr__, doc get_state_pp/Goal.__str__ (W-406) CI #29: Pull request #5 opened by AndPuQing
36m 48s agent/leo3/9d4e8708b306
agent/leo3/9d4e8708b306
36m 48s
Merge pull request #4 from LeanOxide/agent/leo3/aaba28d0b0de CI #28: Commit c65c348 pushed by AndPuQing
15m 28s main
main
15m 28s
docs: align set_goal docs with append semantics (W-405) CI #27: Pull request #4 opened by AndPuQing
36m 45s agent/leo3/aaba28d0b0de
agent/leo3/aaba28d0b0de
36m 45s
Merge pull request #3 from LeanOxide/agent/leo3/b94769e66ab8 CI #26: Commit 52d25e0 pushed by AndPuQing
26m 6s main
main
26m 6s
repl: add get_state_pp whole-state display and Goal.__str__ CI #25: Pull request #3 opened by AndPuQing
11m 28s agent/leo3/b94769e66ab8
agent/leo3/b94769e66ab8
11m 28s
Merge pull request #2 from LeanOxide/agent/leo3/9ed5efd73ddb CI #24: Commit c0a8ae3 pushed by AndPuQing
20m 59s main
main
20m 59s
repl: add LeanError/TacticError exception hierarchy CI #23: Pull request #2 opened by AndPuQing
34m 27s agent/leo3/9ed5efd73ddb
agent/leo3/9ed5efd73ddb
34m 27s
repl: add non-raising try_run_tac / try_run_tacs for search loops CI #22: Commit b5daf1c pushed by AndPuQing
8m 29s main
main
8m 29s
repl: resolve check names with local-context shadowing (review fix) CI #21: Commit 81fa74a pushed by AndPuQing
13m 5s main
main
13m 5s
Merge pull request #1 from LeanOxide/agent/leo3/eecb29242d74 CI #20: Commit 6fe5241 pushed by AndPuQing
11m 30s main
main
11m 30s
Release Release #2: Manually run by AndPuQing
1m 13s main
main
1m 13s
Release Release #1: Manually run by AndPuQing
9s main
main
9s
ci: add build/test CI and PyPI release workflows CI #19: Pull request #1 synchronize by AndPuQing
5m 21s agent/leo3/eecb29242d74
agent/leo3/eecb29242d74
5m 21s
ci: add build/test CI and PyPI release workflows CI #18: Pull request #1 synchronize by AndPuQing
2m 25s agent/leo3/eecb29242d74
agent/leo3/eecb29242d74
2m 25s
ci: add build/test CI and PyPI release workflows CI #17: Pull request #1 synchronize by AndPuQing
2m 19s agent/leo3/eecb29242d74
agent/leo3/eecb29242d74
2m 19s
ci: add build/test CI and PyPI release workflows CI #16: Pull request #1 synchronize by AndPuQing
1m 51s agent/leo3/eecb29242d74
agent/leo3/eecb29242d74
1m 51s
ci: add build/test CI and PyPI release workflows CI #15: Pull request #1 synchronize by AndPuQing
6m 18s agent/leo3/eecb29242d74
agent/leo3/eecb29242d74
6m 18s
ci: add build/test CI and PyPI release workflows CI #14: Pull request #1 synchronize by AndPuQing
7m 15s agent/leo3/eecb29242d74
agent/leo3/eecb29242d74
7m 15s
ci: add build/test CI and PyPI release workflows CI #13: Pull request #1 synchronize by AndPuQing
55m 10s agent/leo3/eecb29242d74
agent/leo3/eecb29242d74
55m 10s
ci: add build/test CI and PyPI release workflows CI #12: Pull request #1 synchronize by AndPuQing
6m 0s agent/leo3/eecb29242d74
agent/leo3/eecb29242d74
6m 0s
ci: add build/test CI and PyPI release workflows CI #11: Pull request #1 synchronize by AndPuQing
5m 19s agent/leo3/eecb29242d74
agent/leo3/eecb29242d74
5m 19s
ci: add build/test CI and PyPI release workflows CI #10: Pull request #1 synchronize by AndPuQing
5m 25s agent/leo3/eecb29242d74
agent/leo3/eecb29242d74
5m 25s
ci: add build/test CI and PyPI release workflows CI #9: Pull request #1 synchronize by AndPuQing
7m 46s agent/leo3/eecb29242d74
agent/leo3/eecb29242d74
7m 46s
ci: add build/test CI and PyPI release workflows CI #8: Pull request #1 synchronize by AndPuQing
4m 44s agent/leo3/eecb29242d74
agent/leo3/eecb29242d74
4m 44s