Skip to content

Actions: augustepoiroux/LeanInteract

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
422 workflow runs
422 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add support for Lean v4.25.1 Release #29: Commit cf21811 pushed by augustepoiroux
15s v0.10.0
v0.10.0
15s
Add support for Lean v4.25.1 CI #250: Commit cf21811 pushed by augustepoiroux
16m 27s v0.10.0
v0.10.0
16m 27s
Add support for Lean v4.25.1 Deploy Documentation #59: Commit cf21811 pushed by augustepoiroux
5m 8s v0.10.0
v0.10.0
5m 8s
pages build and deployment pages-build-deployment #34: by github-pages bot
27s gh-pages
gh-pages
27s
Add support for Lean v4.25.1 CI #249: Commit cf21811 pushed by augustepoiroux
9m 9s main
main
9m 9s
Add support for Lean v4.25.1 Deploy Documentation #58: Commit cf21811 pushed by augustepoiroux
5m 7s main
main
5m 7s
pages build and deployment pages-build-deployment #33: by github-pages bot
28s gh-pages
gh-pages
28s
Reduce CI disk space usage Release #28: Commit 23a71f2 pushed by augustepoiroux
14s v0.9.3
v0.9.3
14s
Reduce CI disk space usage CI #248: Commit 23a71f2 pushed by augustepoiroux
13m 17s v0.9.3
v0.9.3
13m 17s
Reduce CI disk space usage Deploy Documentation #57: Commit 23a71f2 pushed by augustepoiroux
5m 3s v0.9.3
v0.9.3
5m 3s
Reduce CI disk space usage CI #247: Commit 23a71f2 pushed by augustepoiroux
16m 22s main
main
16m 22s
pages build and deployment pages-build-deployment #32: by github-pages bot
34s gh-pages
gh-pages
34s
Add support for Lean v4.25.0 Deploy Documentation #56: Commit 78ef17a pushed by augustepoiroux
5m 22s main
main
5m 22s
Add support for Lean v4.25.0 CI #246: Commit 78ef17a pushed by augustepoiroux
18m 17s main
main
18m 17s
pages build and deployment pages-build-deployment #31: by github-pages bot
34s gh-pages
gh-pages
34s
Fix tests Release #27: Commit 90a052c pushed by augustepoiroux
20s v0.9.2
v0.9.2
20s
Fix tests CI #245: Commit 90a052c pushed by augustepoiroux
14m 31s v0.9.2
v0.9.2
14m 31s
Fix tests Deploy Documentation #55: Commit 90a052c pushed by augustepoiroux
6m 1s v0.9.2
v0.9.2
6m 1s
Fix tests CI #244: Commit 90a052c pushed by augustepoiroux
13m 58s main
main
13m 58s
pages build and deployment pages-build-deployment #30: by github-pages bot
38s gh-pages
gh-pages
38s
Add support for Lean v4.25.0-rc2 Deploy Documentation #54: Commit 8a35c40 pushed by augustepoiroux
5m 30s main
main
5m 30s
Add support for Lean v4.25.0-rc2 CI #243: Commit 8a35c40 pushed by augustepoiroux
8m 55s main
main
8m 55s
pages build and deployment pages-build-deployment #29: by github-pages bot
25s gh-pages
gh-pages
25s
Add support for Lean v4.24.0 Release #26: Commit fef2e2e pushed by augustepoiroux
14s v0.9.1
v0.9.1
14s
Add support for Lean v4.24.0 CI #242: Commit fef2e2e pushed by augustepoiroux
15m 8s v0.9.1
v0.9.1
15m 8s