Skip to content

Actions: LeanMachineLearning/exposition

Actions

Lean Action CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lean_action_ci.yml
119 workflow runs
119 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
bump Lean Action CI #119: Commit bb51dc2 pushed by RemyDegenne
6m 22s main
main
6m 22s
bump Lean Action CI #118: Commit ca19d10 pushed by RemyDegenne
6m 35s main
main
6m 35s
cosmetic changes Lean Action CI #117: Commit 4f43fed pushed by RemyDegenne
58s v4.34.0-rc2-7
v4.34.0-rc2-7
58s
cosmetic changes Lean Action CI #116: Commit 4f43fed pushed by RemyDegenne
1m 43s main
main
1m 43s
claims only mode Lean Action CI #115: Commit cf0d1f0 pushed by RemyDegenne
1m 30s v4.34.0-rc2-6
v4.34.0-rc2-6
1m 30s
claims only mode Lean Action CI #114: Commit cf0d1f0 pushed by RemyDegenne
1m 45s main
main
1m 45s
docstrings Lean Action CI #113: Commit eef97b4 pushed by RemyDegenne
1m 0s main
main
1m 0s
add github action Lean Action CI #112: Commit a4a5cba pushed by RemyDegenne
1m 5s v4.34.0-rc2-5
v4.34.0-rc2-5
1m 5s
add github action Lean Action CI #111: Commit a4a5cba pushed by RemyDegenne
59s main
main
59s
remove dead code Lean Action CI #110: Commit 5426c97 pushed by RemyDegenne
1m 52s main
main
1m 52s
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 Lean Action CI #108: Commit a4de757 pushed by RemyDegenne
1m 35s main
main
1m 35s
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 Lean Action CI #106: Commit 6c4b0e1 pushed by RemyDegenne
1m 44s main
main
1m 44s
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 Lean Action CI #104: Commit b46641a pushed by RemyDegenne
1m 15s main
main
1m 15s
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
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 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
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
make it scale: first step Lean Action CI #96: Commit beceb04 pushed by RemyDegenne
6m 1s main
main
6m 1s
bump to v4.34.0-rc1 Lean Action CI #95: Commit b06f4a0 pushed by RemyDegenne
3m 46s main
main
3m 46s