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
rework declaration page Lean Action CI #109: Commit a4de757 pushed by RemyDegenne
1m 1s v4.34.0-rc2-4
v4.34.0-rc2-4
1m 1s
rework declaration page Publish Referee Binary #67: Commit a4de757 pushed by RemyDegenne
1m 18s main
main
1m 18s
rework declaration page Lean Action CI #108: Commit a4de757 pushed by RemyDegenne
1m 35s main
main
1m 35s
remove verso view; minor changes Publish Referee Binary #66: Commit 6c4b0e1 pushed by RemyDegenne
1m 34s v4.34.0-rc2-3
v4.34.0-rc2-3
1m 34s
remove verso view; minor changes Lean Action CI #107: Commit 6c4b0e1 pushed by RemyDegenne
1m 30s v4.34.0-rc2-3
v4.34.0-rc2-3
1m 30s
remove verso view; minor changes Publish Referee Binary #65: Commit 6c4b0e1 pushed by RemyDegenne
1m 23s main
main
1m 23s
remove verso view; minor changes Lean Action CI #106: Commit 6c4b0e1 pushed by RemyDegenne
1m 44s main
main
1m 44s
visual tweaks Publish Referee Binary #64: Commit b46641a pushed by RemyDegenne
55s v4.34.0-rc2-2
v4.34.0-rc2-2
55s
visual tweaks Lean Action CI #105: Commit b46641a pushed by RemyDegenne
1m 0s v4.34.0-rc2-2
v4.34.0-rc2-2
1m 0s
visual tweaks Publish Referee Binary #63: Commit b46641a pushed by RemyDegenne
58s main
main
58s
visual tweaks Lean Action CI #104: Commit b46641a pushed by RemyDegenne
1m 15s main
main
1m 15s
split Site.lean Publish Referee Binary #62: Commit 0b4eca6 pushed by RemyDegenne
1m 7s main
main
1m 7s
split Site.lean Lean Action CI #103: Commit 0b4eca6 pushed by RemyDegenne
1m 12s main
main
1m 12s
add new Claims page based on formalization.yaml Lean Action CI #102: Commit 21cb06c pushed by RemyDegenne
1m 46s main
main
1m 46s
add new Claims page based on formalization.yaml Publish Referee Binary #61: Commit 21cb06c pushed by RemyDegenne
1m 18s main
main
1m 18s
move extraction Lean Action CI #101: Commit dc4e27a pushed by RemyDegenne
1m 1s v4.34.0-rc2-1
v4.34.0-rc2-1
1m 1s
move extraction Publish Referee Binary #60: Commit dc4e27a pushed by RemyDegenne
1m 1s v4.34.0-rc2-1
v4.34.0-rc2-1
1m 1s
move extraction Publish Referee Binary #59: Commit dc4e27a pushed by RemyDegenne
5m 13s main
main
5m 13s
move extraction Lean Action CI #100: Commit dc4e27a pushed by RemyDegenne
5m 50s main
main
5m 50s
extract two packages to new git repositories Lean Action CI #99: Commit aaa5d5c pushed by RemyDegenne
5m 24s main
main
5m 24s
extract two packages to new git repositories Publish Referee Binary #58: Commit aaa5d5c pushed by RemyDegenne
5m 44s main
main
5m 44s
v4.34.0-rc2 Publish Referee Binary #57: Commit c36784f pushed by RemyDegenne
4m 21s v4.34.0-rc2
v4.34.0-rc2
4m 21s
v4.34.0-rc2 Lean Action CI #98: Commit c36784f pushed by RemyDegenne
5m 23s v4.34.0-rc2
v4.34.0-rc2
5m 23s
v4.34.0-rc2 Lean Action CI #97: Commit c36784f pushed by RemyDegenne
5m 21s main
main
5m 21s
v4.34.0-rc2 Publish Referee Binary #56: Commit c36784f pushed by RemyDegenne
5m 42s main
main
5m 42s