Skip to content

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

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,799 workflow runs
1,799 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 #2021: by github-pages bot
42s master
master
42s
deploy site deploy site #3902: Scheduled
6m 53s lean4
lean4
6m 53s
New contributors are not allowed to use AI build site (pull request) #242: Pull request #827 synchronize by EtienneC30
6m 40s EtienneC30:lean4
EtienneC30:lean4
6m 40s
New contributors are not allowed to use AI build site (pull request) #241: Pull request #827 synchronize by EtienneC30
6m 15s EtienneC30:lean4
EtienneC30:lean4
6m 15s
pages build and deployment pages-build-deployment #2020: by github-pages bot
38s master
master
38s
deploy site deploy site #3901: Scheduled
7m 35s lean4
lean4
7m 35s
pages build and deployment pages-build-deployment #2019: by github-pages bot
37s master
master
37s
deploy site deploy site #3900: Scheduled
7m 31s lean4
lean4
7m 31s
New contributors are not allowed to use AI build site (pull request) #240: Pull request #827 opened by EtienneC30
7m 15s EtienneC30:lean4
EtienneC30:lean4
7m 15s
New contributors are not allowed to use AI Message Zulip when a PR is opened #180: Pull request #827 opened by EtienneC30
8s
8s
pages build and deployment pages-build-deployment #2018: by github-pages bot
37s master
master
37s
deploy site deploy site #3899: Scheduled
7m 42s lean4
lean4
7m 42s
pages build and deployment pages-build-deployment #2017: by github-pages bot
40s master
master
40s
feat(style guide): add a note on Unicode usage (#820) deploy site #3898: Commit d4f8c29 pushed by grunweg
7m 27s lean4
lean4
7m 27s
pages build and deployment pages-build-deployment #2016: by github-pages bot
49s master
master
49s
Fix typo in documentation description (#825) deploy site #3897: Commit cfcbc0d pushed by riccardobrasca
7m 33s lean4
lean4
7m 33s
Fix typo in documentation description Message Zulip when a PR is opened #179: Pull request #826 opened by ldct
7s
7s
Fix typo in documentation description build site (pull request) #238: Pull request #825 opened by ldct
7m 22s ldct:patch-3
ldct:patch-3
7m 22s
Fix typo in documentation description Message Zulip when a PR is opened #178: Pull request #825 opened by ldct
11s
11s
Add tutorial entry for Analysis 1 build site (pull request) #237: Pull request #824 opened by ldct
7m 18s ldct:patch-1
ldct:patch-1
7m 18s
Add tutorial entry for Analysis 1 Message Zulip when a PR is opened #177: Pull request #824 opened by ldct
10s
10s
pages build and deployment pages-build-deployment #2015: by github-pages bot
42s master
master
42s
feat(style guide): add a note on Unicode usage build site (pull request) #236: Pull request #820 synchronize by adomasbaliuka
7m 26s adomasbaliuka:patch-1
adomasbaliuka:patch-1
7m 26s
Add course 'Mathematics meets Computer: From formal Proofs to AI' (#823) deploy site #3896: Commit 93e21fd pushed by riccardobrasca
7m 30s lean4
lean4
7m 30s
Add course 'Mathematics meets Computer: From formal Proofs to AI' build site (pull request) #235: Pull request #823 opened by nimarasekh
7m 26s nimarasekh:patch-2
nimarasekh:patch-2
7m 26s