Skip to content

Actions: LeanMachineLearning/exposition

Actions

Publish Referee Binary

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
publish_referee_binary.yml
80 workflow runs
80 workflow runs

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 Publish Referee Binary #55: Commit beceb04 pushed by RemyDegenne
5m 27s main
main
5m 27s
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 Publish Referee Binary #53: Commit b06f4a0 pushed by RemyDegenne
1m 10s v4.34.0-rc1
v4.34.0-rc1
1m 10s
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
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 Publish Referee Binary #49: Commit d0c84fd pushed by RemyDegenne
5m 2s main
main
5m 2s
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
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 Publish Referee Binary #45: Commit 62ea34f pushed by RemyDegenne
5m 21s main
main
5m 21s
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 Publish Referee Binary #43: Commit cbf9563 pushed by RemyDegenne
51s main
main
51s
parallel highlighting Publish Referee Binary #42: Commit 0c47016 pushed by RemyDegenne
1m 5s v0.1.17
v0.1.17
1m 5s
Merge pull request #1 from LeanMachineLearning/extraction-drop-empty-… Publish Referee Binary #41: Commit 543fe00 pushed by RemyDegenne
1m 0s main
main
1m 0s
parallel highlighting Publish Referee Binary #40: Commit 0c47016 pushed by RemyDegenne
1m 14s v0.1.16
v0.1.16
1m 14s
parallel highlighting Publish Referee Binary #39: Commit 0c47016 pushed by RemyDegenne
1m 8s main
main
1m 8s
fix dependency mask Publish Referee Binary #38: Commit 2df1310 pushed by RemyDegenne
1m 6s v0.1.15
v0.1.15
1m 6s
Publish Referee Binary Publish Referee Binary #37: Manually run by RemyDegenne
43s main
main
43s
save memory Publish Referee Binary #36: Commit 701d87c pushed by RemyDegenne
1m 32s v0.1.13
v0.1.13
1m 32s
save memory Publish Referee Binary #35: Commit 701d87c pushed by RemyDegenne
1m 4s main
main
1m 4s
less pages, condensed info Publish Referee Binary #34: Commit 5a06eb7 pushed by RemyDegenne
1m 39s v0.1.12
v0.1.12
1m 39s
less pages, condensed info Publish Referee Binary #33: Commit 5a06eb7 pushed by RemyDegenne
1m 19s main
main
1m 19s
work Publish Referee Binary #32: Commit 0714422 pushed by RemyDegenne
1m 33s v0.1.11
v0.1.11
1m 33s
work Publish Referee Binary #31: Commit 0714422 pushed by RemyDegenne
1m 21s main
main
1m 21s