Skip to content

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

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #1786: by leanprover-community-bot
36s master
master
36s
deploy site deploy site #3615: Scheduled
6m 40s lean4
lean4
6m 40s
chore: clarify criteria for 'easy' label build site (pull request) #59: Pull request #732 opened by dagurtomas
7m 45s dagurtomas:patch-6
dagurtomas:patch-6
7m 45s
chore: clarify criteria for 'easy' label Message Zulip when a PR is opened #87: Pull request #732 opened by dagurtomas
7s
7s
feat: documentation overview page build site (pull request) #58: Pull request #731 synchronize by Vierkantor
7m 36s doc-overview
doc-overview
7m 36s
Add the Lean Glossary page now it's available for Lean 4 deploy site #3614: Commit 73ec2ce pushed by Vierkantor
6m 28s doc-overview
doc-overview
6m 28s
pages build and deployment pages-build-deployment #1785: by leanprover-community-bot
35s master
master
35s
deploy site deploy site #3613: Scheduled
8m 6s lean4
lean4
8m 6s
feat: documentation overview page build site (pull request) #57: Pull request #731 opened by Vierkantor
7m 21s doc-overview
doc-overview
7m 21s
feat: documentation overview page Message Zulip when a PR is opened #86: Pull request #731 opened by Vierkantor
11s
11s
Add some explanatory text. deploy site #3612: Commit 135db28 pushed by Vierkantor
7m 43s doc-overview
doc-overview
7m 43s
Add descriptions to the documentation entries deploy site #3611: Commit cd5d394 pushed by Vierkantor
9m 17s doc-overview
doc-overview
9m 17s
pages build and deployment pages-build-deployment #1784: by leanprover-community-bot
40s master
master
40s
deploy site deploy site #3610: Scheduled
6m 48s lean4
lean4
6m 48s
pages build and deployment pages-build-deployment #1783: by leanprover-community-bot
40s master
master
40s
feat: update the glossary to Lean 4 (#728) deploy site #3609: Commit e166448 pushed by bryangingechen
31m 54s lean4
lean4
31m 54s
pages build and deployment pages-build-deployment #1782: by leanprover-community-bot
40s master
master
40s
chore: update complicated proofs in the PR guide (#730) deploy site #3608: Commit 4530dfb pushed by jcommelin
7m 38s lean4
lean4
7m 38s
pages build and deployment pages-build-deployment #1781: by leanprover-community-bot
35s master
master
35s
deploy site deploy site #3607: Scheduled
6m 57s lean4
lean4
6m 57s
pages build and deployment pages-build-deployment #1780: by leanprover-community-bot
40s master
master
40s
deploy site deploy site #3606: Scheduled
7m 56s lean4
lean4
7m 56s
pages build and deployment pages-build-deployment #1779: by leanprover-community-bot
40s master
master
40s
deploy site deploy site #3605: Scheduled
9m 9s lean4
lean4
9m 9s
chore: update complicated proofs in the PR guide build site (pull request) #56: Pull request #730 synchronize by Ruben-VandeVelde
13m 25s Ruben-VandeVelde:GHSpace
Ruben-VandeVelde:GHSpace
13m 25s