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
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
parallel highlighting Lean Action CI #83: Commit 0c47016 pushed by RemyDegenne
57s v0.1.17
v0.1.17
57s
Merge pull request #1 from LeanMachineLearning/extraction-drop-empty-… Lean Action CI #82: Commit 543fe00 pushed by RemyDegenne
1m 11s main
main
1m 11s
Merge pull request #1 from LeanMachineLearning/extraction-drop-empty-… Publish Referee Binary #41: Commit 543fe00 pushed by RemyDegenne
1m 0s main
main
1m 0s
Drop the scaffolding an extracted file has no use for Lean Action CI #81: Pull request #1 opened by RemyDegenne
1m 5s extraction-drop-empty-scopes
extraction-drop-empty-scopes
1m 5s
Drop the scaffolding an extracted file has no use for Lean Action CI #80: Commit d348e79 pushed by RemyDegenne
1m 8s extraction-drop-empty-scopes
extraction-drop-empty-scopes
1m 8s
parallel highlighting Publish Referee Binary #40: Commit 0c47016 pushed by RemyDegenne
1m 14s v0.1.16
v0.1.16
1m 14s
parallel highlighting Lean Action CI #79: Commit 0c47016 pushed by RemyDegenne
1m 2s v0.1.16
v0.1.16
1m 2s
parallel highlighting Publish Referee Binary #39: Commit 0c47016 pushed by RemyDegenne
1m 8s main
main
1m 8s
parallel highlighting Lean Action CI #78: Commit 0c47016 pushed by RemyDegenne
1m 14s main
main
1m 14s
fix dependency mask Lean Action CI #77: Commit 2df1310 pushed by RemyDegenne
52s v0.1.15
v0.1.15
52s
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
Lean Action CI Lean Action CI #76: Manually run by RemyDegenne
1m 34s main
main
1m 34s
save memory Lean Action CI #75: Commit 701d87c pushed by RemyDegenne
1m 14s v0.1.13
v0.1.13
1m 14s
save memory Publish Referee Binary #36: Commit 701d87c pushed by RemyDegenne
1m 32s v0.1.13
v0.1.13
1m 32s
save memory Lean Action CI #74: Commit 701d87c pushed by RemyDegenne
1m 12s main
main
1m 12s
save memory Publish Referee Binary #35: Commit 701d87c pushed by RemyDegenne
1m 4s main
main
1m 4s
less pages, condensed info Lean Action CI #73: Commit 5a06eb7 pushed by RemyDegenne
1m 29s v0.1.12
v0.1.12
1m 29s
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 Lean Action CI #72: Commit 5a06eb7 pushed by RemyDegenne
1m 24s main
main
1m 24s
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 Lean Action CI #71: Commit 0714422 pushed by RemyDegenne
1m 22s v0.1.11
v0.1.11
1m 22s