Skip to content

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

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,066 workflow runs
2,066 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
pages build and deployment pages-build-deployment #2152: by github-pages Bot
42s master
master
42s
deploy site deploy site #4082: Scheduled
8m 59s lean4
lean4
8m 59s
Add Yongxi Lin to reviewers list build site (pull request) #365: Pull request #889 opened by CoolRmal
8m 36s CoolRmal:patch-1
CoolRmal:patch-1
8m 36s
Add Yongxi Lin to reviewers list Message Zulip when a PR is opened #241: Pull request #889 opened by CoolRmal
9s
9s
Add intentions to the project page build site (pull request) #364: Pull request #887 synchronize by faenuccio
8m 46s faenuccio:fae_Intentions
faenuccio:fae_Intentions
8m 46s
pages build and deployment pages-build-deployment #2151: by github-pages Bot
38s master
master
38s
deploy site deploy site #4081: Scheduled
8m 35s lean4
lean4
8m 35s
pages build and deployment pages-build-deployment #2150: by github-pages Bot
45s master
master
45s
deploy site deploy site #4080: Scheduled
8m 41s lean4
lean4
8m 41s
pages build and deployment pages-build-deployment #2149: by github-pages Bot
37s master
master
37s
deploy site deploy site #4079: Scheduled
8m 33s lean4
lean4
8m 33s
pages build and deployment pages-build-deployment #2148: by github-pages Bot
43s master
master
43s
deploy site deploy site #4078: Scheduled
7m 59s lean4
lean4
7m 59s
Add intentions to the project page build site (pull request) #363: Pull request #887 synchronize by faenuccio
7m 1s faenuccio:fae_Intentions
faenuccio:fae_Intentions
7m 1s
pages build and deployment pages-build-deployment #2147: by github-pages Bot
39s master
master
39s
deploy site deploy site #4077: Scheduled
9m 4s lean4
lean4
9m 4s
pages build and deployment pages-build-deployment #2146: by github-pages Bot
38s master
master
38s
deploy site deploy site #4076: Scheduled
8m 32s lean4
lean4
8m 32s
pages build and deployment pages-build-deployment #2145: by github-pages Bot
41s master
master
41s
deploy site deploy site #4075: Scheduled
7m 31s lean4
lean4
7m 31s
pages build and deployment pages-build-deployment #2144: by github-pages Bot
1m 39s master
master
1m 39s
feat: document the conjunction/disjunction convention (#885) deploy site #4074: Commit c024372 pushed by faenuccio
8m 26s lean4
lean4
8m 26s
pages build and deployment pages-build-deployment #2143: by github-pages Bot
36s master
master
36s
deploy site deploy site #4073: Scheduled
8m 42s lean4
lean4
8m 42s
feat: document the function application naming convention build site (pull request) #362: Pull request #886 synchronize by YaelDillies
8m 44s YaelDillies:map_apply
YaelDillies:map_apply
8m 44s