Skip to content

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

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,869 workflow runs
1,869 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
feat(policy): tweak AI policy build site (pull request) #268: Pull request #840 synchronize by grunweg
19m 11s grunweg-patch-2
grunweg-patch-2
19m 11s
Update templates/contribute/index.md deploy site #3959: Commit 6896f84 pushed by grunweg
18m 13s grunweg-patch-2
grunweg-patch-2
18m 13s
feat(policy): tweak AI policy build site (pull request) #267: Pull request #840 synchronize by grunweg
9m 39s grunweg-patch-2
grunweg-patch-2
9m 39s
Update templates/contribute/index.md deploy site #3958: Commit 1a266f0 pushed by grunweg
8m 51s grunweg-patch-2
grunweg-patch-2
8m 51s
pages build and deployment pages-build-deployment #2055: by github-pages Bot
43s master
master
43s
deploy site deploy site #3957: Scheduled
7m 8s lean4
lean4
7m 8s
feat: display reviewer interests and GitHub usernames build site (pull request) #266: Pull request #841 opened by bryangingechen
7m 43s reviewer-queueboard-data
reviewer-queueboard-data
7m 43s
feat: display reviewer interests and GitHub usernames Message Zulip when a PR is opened #193: Pull request #841 opened by bryangingechen
8s
8s
Render reviewer free_form as markdown, show GitHub username inline deploy site #3956: Commit 975e78f pushed by bryangingechen
7m 54s reviewer-queueboard-data
reviewer-queueboard-data
7m 54s
pages build and deployment pages-build-deployment #2054: by github-pages Bot
1m 1s master
master
1m 1s
feat: mention congrm in the congr() documentation (#833) deploy site #3955: Commit 89425c9 pushed by grunweg
7m 21s lean4
lean4
7m 21s
feat(policy): tweak AI policy build site (pull request) #265: Pull request #840 synchronize by grunweg
8m 22s grunweg-patch-2
grunweg-patch-2
8m 22s
Update templates/contribute/index.md deploy site #3954: Commit ee106f7 pushed by grunweg
34m 55s grunweg-patch-2
grunweg-patch-2
34m 55s
update people.yaml and teams.yaml deploy site #3953: Commit d5b90d6 pushed by bryangingechen
8m 31s reviewer-queueboard-data
reviewer-queueboard-data
8m 31s
pages build and deployment pages-build-deployment #2053: by github-pages Bot
37s master
master
37s
deploy site deploy site #3952: Scheduled
8m 17s lean4
lean4
8m 17s
feat(policy): tweak AI policy build site (pull request) #264: Pull request #840 opened by grunweg
7m 43s grunweg-patch-2
grunweg-patch-2
7m 43s
feat(policy): tweak AI policy Message Zulip when a PR is opened #192: Pull request #840 opened by grunweg
7s
7s
feat(policy): tweak AI policy deploy site #3951: Commit 3ae898a pushed by grunweg
8m 17s grunweg-patch-2
grunweg-patch-2
8m 17s
Add "mission and values" page build site (pull request) #263: Pull request #839 synchronize by ocfnash
8m 0s ocfnash/add_values
ocfnash/add_values
8m 0s
Add link to PR Review Guide deploy site #3950: Commit 0aeae75 pushed by ocfnash
8m 37s ocfnash/add_values
ocfnash/add_values
8m 37s
Add "mission and values" page build site (pull request) #262: Pull request #839 synchronize by ocfnash
13m 50s ocfnash/add_values
ocfnash/add_values
13m 50s
Rename file deploy site #3949: Commit 4d384f9 pushed by ocfnash
14m 59s ocfnash/add_values
ocfnash/add_values
14m 59s
Add "mission and values" page build site (pull request) #261: Pull request #839 synchronize by ocfnash
36s ocfnash/add_values
ocfnash/add_values
36s
Rename file deploy site #3948: Commit 3dbf09f pushed by ocfnash
37s ocfnash/add_values
ocfnash/add_values
37s