Skip to content

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

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

oops again deploy site #1975: Commit 621dd95 pushed by eric-wieser
August 9, 2023 11:06 8m 38s undegrad.yml
undegrad.yml
August 9, 2023 11:06 8m 38s
fixed found with mypy deploy site #1974: Commit 54f55ff pushed by eric-wieser
August 9, 2023 11:04 1m 36s undegrad.yml
undegrad.yml
August 9, 2023 11:04 1m 36s
use new doc-gen metadata outputs deploy site #1973: Commit 1e6041f pushed by eric-wieser
August 9, 2023 11:01 1m 49s undegrad.yml
undegrad.yml
August 9, 2023 11:01 1m 49s
Merge pull request #343 from leanprover-community/add-to-maintainer-list deploy site #1972: Commit 65393dc pushed by eric-wieser
August 9, 2023 11:00 6m 21s lean4
lean4
August 9, 2023 11:00 6m 21s
Update data/teams.yaml deploy site #1971: Commit 2812c08 pushed by eric-wieser
August 9, 2023 10:50 6m 28s add-to-maintainer-list
add-to-maintainer-list
August 9, 2023 10:50 6m 28s
Update teams.yaml deploy site #1970: Commit 053e9ff pushed by eric-wieser
August 9, 2023 10:35 6m 39s add-to-maintainer-list
add-to-maintainer-list
August 9, 2023 10:35 6m 39s
deploy site deploy site #1969: Scheduled
August 9, 2023 04:01 6m 19s lean4
lean4
August 9, 2023 04:01 6m 19s
added Joël to maintainer list deploy site #1968: Commit 5d485d8 pushed by joelriou
August 9, 2023 02:44 6m 20s add-to-maintainer-list
add-to-maintainer-list
August 9, 2023 02:44 6m 20s
Add Anatole to maintainer list deploy site #1967: Commit 643edfd pushed by ADedecker
August 8, 2023 20:03 9m 34s add-to-maintainer-list
add-to-maintainer-list
August 8, 2023 20:03 9m 34s
add Jireh to maintainer list deploy site #1966: Commit ecd4452 pushed by j-loreaux
August 8, 2023 17:21 7m 49s add-to-maintainer-list
add-to-maintainer-list
August 8, 2023 17:21 7m 49s
pages build and deployment pages-build-deployment #662: by leanprover-community-bot
August 8, 2023 04:07 47s
August 8, 2023 04:07 47s
deploy site deploy site #1965: Scheduled
August 8, 2023 04:01 6m 24s lean4
lean4
August 8, 2023 04:01 6m 24s
ProTip! You can narrow down the results and go further in time using created:<2023-08-08 or the other filters available.