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

Fix auto_build parameter for git and temporary projects CI #259: Commit 6afa05f pushed by augustepoiroux
12m 24s main
main
12m 24s
pages build and deployment pages-build-deployment #41: by github-pages bot
33s gh-pages
gh-pages
33s
Add support for Lean v4.24.1 and v4.25.2 Release #32: Commit 24c3765 pushed by augustepoiroux
12s v0.10.3
v0.10.3
12s
Add support for Lean v4.24.1 and v4.25.2 CI #258: Commit 24c3765 pushed by augustepoiroux
18m 2s v0.10.3
v0.10.3
18m 2s
Add support for Lean v4.24.1 and v4.25.2 Deploy Documentation #65: Commit 24c3765 pushed by augustepoiroux
5m 20s v0.10.3
v0.10.3
5m 20s
pages build and deployment pages-build-deployment #40: by github-pages bot
27s gh-pages
gh-pages
27s
Add support for Lean v4.24.1 and v4.25.2 CI #257: Commit 24c3765 pushed by augustepoiroux
19m 44s main
main
19m 44s
Add support for Lean v4.24.1 and v4.25.2 Deploy Documentation #64: Commit 24c3765 pushed by augustepoiroux
5m 6s main
main
5m 6s
pages build and deployment pages-build-deployment #39: by github-pages bot
36s gh-pages
gh-pages
36s
Add support for Lean v4.26.0-rc2 Deploy Documentation #63: Commit 88e308c pushed by augustepoiroux
5m 47s v0.10.2
v0.10.2
5m 47s
Add support for Lean v4.26.0-rc2 CI #256: Commit 88e308c pushed by augustepoiroux
16m 34s v0.10.2
v0.10.2
16m 34s
Add support for Lean v4.26.0-rc2 Release #31: Commit 88e308c pushed by augustepoiroux
13s v0.10.2
v0.10.2
13s
pages build and deployment pages-build-deployment #38: by github-pages bot
40s gh-pages
gh-pages
40s
Add support for Lean v4.26.0-rc2 CI #255: Commit 88e308c pushed by augustepoiroux
16m 2s main
main
16m 2s
Add support for Lean v4.26.0-rc2 Deploy Documentation #62: Commit 88e308c pushed by augustepoiroux
5m 12s main
main
5m 12s
pages build and deployment pages-build-deployment #37: by github-pages bot
31s gh-pages
gh-pages
31s
Remove deprecated support CI #254: Commit c6b1925 pushed by augustepoiroux
18m 39s v0.10.1
v0.10.1
18m 39s
Remove deprecated support Release #30: Commit c6b1925 pushed by augustepoiroux
16s v0.10.1
v0.10.1
16s
Remove deprecated support Deploy Documentation #61: Commit c6b1925 pushed by augustepoiroux
5m 23s v0.10.1
v0.10.1
5m 23s
Remove deprecated support CI #253: Commit c6b1925 pushed by augustepoiroux
12m 29s main
main
12m 29s
pages build and deployment pages-build-deployment #36: by github-pages bot
26s gh-pages
gh-pages
26s
Add support for Lean v4.26.0-rc1 CI #252: Commit a1a68a6 pushed by augustepoiroux
18m 54s main
main
18m 54s
Add support for Lean v4.26.0-rc1 Deploy Documentation #60: Commit a1a68a6 pushed by augustepoiroux
5m 16s main
main
5m 16s
Update example scripts to use incremental elaboration CI #251: Commit c29cb73 pushed by augustepoiroux
12m 45s main
main
12m 45s
pages build and deployment pages-build-deployment #35: by github-pages bot
36s gh-pages
gh-pages
36s