Skip to content

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

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: updates to the Lean 4 website (#320) deploy site #1871: Commit b5f645d pushed by semorrison
June 22, 2023 04:05 6m 28s lean4
lean4
June 22, 2023 04:05 6m 28s
feat: updates to the documentation style page (#321) deploy site #1870: Commit ad41a90 pushed by semorrison
June 22, 2023 04:05 6m 53s lean4
lean4
June 22, 2023 04:05 6m 53s
deploy site deploy site #1869: Scheduled
June 22, 2023 04:01 6m 19s lean4
lean4
June 22, 2023 04:01 6m 19s
pages build and deployment pages-build-deployment #609: by leanprover-community-bot
June 21, 2023 04:07 55s
June 21, 2023 04:07 55s
deploy site deploy site #1868: Scheduled
June 21, 2023 04:01 6m 31s lean4
lean4
June 21, 2023 04:01 6m 31s
feat: updates to the Lean 4 website deploy site #1867: Commit c153298 pushed by semorrison
June 21, 2023 02:41 7m 0s updates_1
updates_1
June 21, 2023 02:41 7m 0s
feat: updates to the documentation style page deploy site #1866: Commit 506e028 pushed by semorrison
June 21, 2023 02:41 6m 33s updates_doc
updates_doc
June 21, 2023 02:41 6m 33s
deploy site deploy site #1865: Scheduled
June 20, 2023 04:01 6m 24s lean4
lean4
June 20, 2023 04:01 6m 24s
deploy site deploy site #1864: Scheduled
June 19, 2023 04:01 6m 20s lean4
lean4
June 19, 2023 04:01 6m 20s
deploy site deploy site #1863: Scheduled
June 18, 2023 04:01 6m 41s lean4
lean4
June 18, 2023 04:01 6m 41s
pages build and deployment pages-build-deployment #608: by leanprover-community-bot
June 18, 2023 03:09 56s
June 18, 2023 03:09 56s
Update installation and Lean projects instructions (#318) deploy site #1862: Commit 80d059d pushed by semorrison
June 18, 2023 03:02 6m 26s lean4
lean4
June 18, 2023 03:02 6m 26s
Update templates/install/project.md deploy site #1861: Commit 270e432 pushed by PatrickMassot
June 18, 2023 02:59 6m 54s patrick_doc_update
patrick_doc_update
June 18, 2023 02:59 6m 54s
Apply suggestions from code review deploy site #1860: Commit 3d77d1a pushed by PatrickMassot
June 18, 2023 02:49 6m 48s patrick_doc_update
patrick_doc_update
June 18, 2023 02:49 6m 48s
Update installation and Lean projects instructions deploy site #1859: Commit da6d343 pushed by PatrickMassot
June 17, 2023 20:32 7m 21s patrick_doc_update
patrick_doc_update
June 17, 2023 20:32 7m 21s
pages build and deployment pages-build-deployment #607: by leanprover-community-bot
June 17, 2023 04:07 52s
June 17, 2023 04:07 52s
deploy site deploy site #1858: Scheduled
June 17, 2023 04:01 6m 20s lean4
lean4
June 17, 2023 04:01 6m 20s
ProTip! You can narrow down the results and go further in time using created:<2023-06-17 or the other filters available.