Skip to content

Actions: LeanMachineLearning/exposition

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
201 workflow runs
201 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
make it scale: first step Lean Action CI #96: Commit beceb04 pushed by RemyDegenne
6m 1s main
main
6m 1s
make it scale: first step Publish Referee Binary #55: Commit beceb04 pushed by RemyDegenne
5m 27s main
main
5m 27s
bump to v4.34.0-rc1 Lean Action CI #95: Commit b06f4a0 pushed by RemyDegenne
3m 46s main
main
3m 46s
bump to v4.34.0-rc1 Publish Referee Binary #54: Commit b06f4a0 pushed by RemyDegenne
5m 19s main
main
5m 19s
bump to v4.34.0-rc1 Lean Action CI #94: Commit b06f4a0 pushed by RemyDegenne
5m 25s v4.34.0-rc1
v4.34.0-rc1
5m 25s
bump to v4.34.0-rc1 Publish Referee Binary #53: Commit b06f4a0 pushed by RemyDegenne
1m 10s v4.34.0-rc1
v4.34.0-rc1
1m 10s
v4.33.0 Lean Action CI #93: Commit d287548 pushed by RemyDegenne
5m 19s v4.33.0
v4.33.0
5m 19s
v4.33.0 Publish Referee Binary #52: Commit d287548 pushed by RemyDegenne
5m 13s v4.33.0
v4.33.0
5m 13s
v4.33.0 Publish Referee Binary #51: Commit d287548 pushed by RemyDegenne
5m 4s main
main
5m 4s
v4.33.0 Lean Action CI #92: Commit d287548 pushed by RemyDegenne
5m 26s main
main
5m 26s
bump to 4.33.0-rc2 Publish Referee Binary #50: Commit d0c84fd pushed by RemyDegenne
5m 39s v4.33.0-rc2
v4.33.0-rc2
5m 39s
bump to 4.33.0-rc2 Lean Action CI #91: Commit d0c84fd pushed by RemyDegenne
5m 49s v4.33.0-rc2
v4.33.0-rc2
5m 49s
bump to 4.33.0-rc2 Lean Action CI #90: Commit d0c84fd pushed by RemyDegenne
5m 23s main
main
5m 23s
bump to 4.33.0-rc2 Publish Referee Binary #49: Commit d0c84fd pushed by RemyDegenne
5m 2s main
main
5m 2s
untrack Lean Action CI #89: Commit f44f3e5 pushed by RemyDegenne
51s main
main
51s
untrack Publish Referee Binary #48: Commit f44f3e5 pushed by RemyDegenne
55s main
main
55s
add .lake to .gitignore Publish Referee Binary #47: Commit 64686f1 pushed by RemyDegenne
5m 28s main
main
5m 28s
add .lake to .gitignore Lean Action CI #88: Commit 64686f1 pushed by RemyDegenne
5m 9s main
main
5m 9s
junk values; characterization graph Publish Referee Binary #46: Commit 62ea34f pushed by RemyDegenne
5m 31s v0.1.19
v0.1.19
5m 31s
junk values; characterization graph Lean Action CI #87: Commit 62ea34f pushed by RemyDegenne
5m 40s v0.1.19
v0.1.19
5m 40s
junk values; characterization graph Publish Referee Binary #45: Commit 62ea34f pushed by RemyDegenne
5m 21s main
main
5m 21s
junk values; characterization graph Lean Action CI #86: Commit 62ea34f pushed by RemyDegenne
5m 50s main
main
5m 50s
Merge branch 'main' of github.com:LeanMachineLearning/exposition Publish Referee Binary #44: Commit cbf9563 pushed by RemyDegenne
1m 9s v0.1.18
v0.1.18
1m 9s
Merge branch 'main' of github.com:LeanMachineLearning/exposition Lean Action CI #85: Commit cbf9563 pushed by RemyDegenne
59s v0.1.18
v0.1.18
59s
Merge branch 'main' of github.com:LeanMachineLearning/exposition Lean Action CI #84: Commit cbf9563 pushed by RemyDegenne
57s main
main
57s