Skip to content

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

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #1893: by leanprover-community-bot
38s master
master
38s
deploy site deploy site #3738: Scheduled
54m 30s lean4
lean4
54m 30s
pages build and deployment pages-build-deployment #1892: by leanprover-community-bot
36s master
master
36s
feat(contribute/doc.md): describe tactic doc guidelines (#772) deploy site #3737: Commit 32901a1 pushed by PatrickMassot
20m 22s lean4
lean4
20m 22s
feat(contribute/doc.md): describe tactic doc guidelines build site (pull request) #126: Pull request #772 opened by Vierkantor
48m 31s tactic-doc-review-guide
tactic-doc-review-guide
48m 31s
feat(contribute/doc.md): describe tactic doc guidelines Message Zulip when a PR is opened #126: Pull request #772 opened by Vierkantor
7s
7s
feat(contribute/doc.md): describe tactic doc guidelines deploy site #3736: Commit f72a02e pushed by Vierkantor
1h 0m 34s tactic-doc-review-guide
tactic-doc-review-guide
1h 0m 34s
pages build and deployment pages-build-deployment #1891: by leanprover-community-bot
40s master
master
40s
Add Mathematics in Lean session at ICMS (#771) deploy site #3735: Commit 227e31a pushed by PatrickMassot
54m 14s lean4
lean4
54m 14s
Add Mathematics in Lean session at ICMS build site (pull request) #125: Pull request #771 opened by RemyDegenne
1h 6m 57s RemyDegenne-patch-1
RemyDegenne-patch-1
1h 6m 57s
Add Mathematics in Lean session at ICMS Message Zulip when a PR is opened #125: Pull request #771 opened by RemyDegenne
7s
7s
Add Mathematics in Lean session at ICMS deploy site #3734: Commit fbc3e69 pushed by RemyDegenne
1h 6m 42s RemyDegenne-patch-1
RemyDegenne-patch-1
1h 6m 42s
pages build and deployment pages-build-deployment #1890: by leanprover-community-bot
41s master
master
41s
Update Coc team deploy site #3733: Commit 0d12f08 pushed by PatrickMassot
6m 44s lean4
lean4
6m 44s
pages build and deployment pages-build-deployment #1889: by leanprover-community-bot
36s master
master
36s
deploy site deploy site #3732: Scheduled
58m 41s lean4
lean4
58m 41s
pages build and deployment pages-build-deployment #1888: by leanprover-community-bot
38s master
master
38s
deploy site deploy site #3731: Scheduled
1h 6m 42s lean4
lean4
1h 6m 42s
pages build and deployment pages-build-deployment #1887: by leanprover-community-bot
39s master
master
39s
Update my own bio deploy site #3730: Commit f3322f7 pushed by eric-wieser
1h 5m 50s lean4
lean4
1h 5m 50s
pages build and deployment pages-build-deployment #1886: by leanprover-community-bot
38s master
master
38s
Update admin team deploy site #3729: Commit f8b82d2 pushed by PatrickMassot
1h 5m 12s lean4
lean4
1h 5m 12s
pages build and deployment pages-build-deployment #1885: by leanprover-community-bot
37s master
master
37s
deploy site deploy site #3728: Scheduled
12m 26s lean4
lean4
12m 26s
pages build and deployment pages-build-deployment #1884: by leanprover-community-bot
33s master
master
33s