Skip to content

Actions: leanprover-community/leanprover-community.github.io

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,769 workflow runs
1,769 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #1931: by github-pages bot
37s master
master
37s
deploy site deploy site #3794: Scheduled
7m 27s lean4
lean4
7m 27s
pages build and deployment pages-build-deployment #1930: by github-pages bot
38s master
master
38s
deploy site deploy site #3793: Scheduled
7m 49s lean4
lean4
7m 49s
pages build and deployment pages-build-deployment #1929: by github-pages bot
38s master
master
38s
chore: remove legacy installation pages (#788) deploy site #3792: Commit b05b38c pushed by riccardobrasca
7m 34s lean4
lean4
7m 34s
chore: remove legacy installation pages build site (pull request) #171: Pull request #788 synchronize by kim-em
1h 57m 42s remove-legacy-install-pages
remove-legacy-install-pages
1h 57m 42s
add redirects from old install pages to quickstart guide deploy site #3791: Commit 72a8478 pushed by kim-em
9m 6s remove-legacy-install-pages
remove-legacy-install-pages
9m 6s
chore: remove legacy installation pages build site (pull request) #170: Pull request #788 opened by kim-em
59m 34s remove-legacy-install-pages
remove-legacy-install-pages
59m 34s
chore: remove legacy installation pages Message Zulip when a PR is opened #142: Pull request #788 opened by kim-em
7s
7s
chore: remove legacy installation pages deploy site #3790: Commit eded298 pushed by kim-em
7m 42s remove-legacy-install-pages
remove-legacy-install-pages
7m 42s
pages build and deployment pages-build-deployment #1928: by github-pages bot
31s master
master
31s
deploy site deploy site #3789: Scheduled
7m 58s lean4
lean4
7m 58s
doc: document revised nightly toolchains build site (pull request) #169: Pull request #787 opened by kim-em
29m 48s doc-revised-nightlies
doc-revised-nightlies
29m 48s
doc: document revised nightly toolchains Message Zulip when a PR is opened #141: Pull request #787 opened by kim-em
9s
9s
doc: document revised nightly toolchains (nightly-YYYY-MM-DD-revK) deploy site #3788: Commit bbfd7f0 pushed by kim-em
8m 45s doc-revised-nightlies
doc-revised-nightlies
8m 45s
pages build and deployment pages-build-deployment #1927: by github-pages bot
47s master
master
47s
chore: update broken documentation links (#786) deploy site #3787: Commit 01f629b pushed by grunweg
8m 6s lean4
lean4
8m 6s
chore: update broken documentation links build site (pull request) #168: Pull request #786 opened by Vierkantor
24m 32s fix-broken-doc-links
fix-broken-doc-links
24m 32s
chore: update broken documentation links Message Zulip when a PR is opened #140: Pull request #786 opened by Vierkantor
8s
8s
chore: update broken documentation links deploy site #3786: Commit b22312c pushed by Vierkantor
7m 58s fix-broken-doc-links
fix-broken-doc-links
7m 58s
pages build and deployment pages-build-deployment #1926: by github-pages bot
38s master
master
38s
deploy site deploy site #3785: Scheduled
8m 5s lean4
lean4
8m 5s
chore(100.html): fix dead links to non-Mathlib declarations build site (pull request) #167: Pull request #785 opened by Vierkantor
10m 45s fix-100-code-link
fix-100-code-link
10m 45s
chore(100.html): fix dead links to non-Mathlib declarations Message Zulip when a PR is opened #139: Pull request #785 opened by Vierkantor
9s
9s