Skip to content

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

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: require disclosure of AI use in PR description build site (pull request) #124: Pull request #767 synchronize by grunweg
30m 8s grunweg:aidisclosure
grunweg:aidisclosure
30m 8s
feat: require disclosure of AI use in PR description build site (pull request) #123: Pull request #767 synchronize by grunweg
24m 50s grunweg:aidisclosure
grunweg:aidisclosure
24m 50s
pages build and deployment pages-build-deployment #1883: by leanprover-community-bot
44s master
master
44s
deploy site deploy site #3726: Scheduled
33m 22s lean4
lean4
33m 22s
pages build and deployment pages-build-deployment #1882: by leanprover-community-bot
34s master
master
34s
deploy site deploy site #3725: Scheduled
1h 6m 46s lean4
lean4
1h 6m 46s
pages build and deployment pages-build-deployment #1881: by leanprover-community-bot
3m 44s master
master
3m 44s
Adding course at Charles University, Prague (#770) deploy site #3724: Commit 38e6ad0 pushed by bryangingechen
26m 26s lean4
lean4
26m 26s
Adding course at Charles University, Prague build site (pull request) #122: Pull request #770 opened by mirefek
18m 21s mirefek:patch-2
mirefek:patch-2
18m 21s
Adding course at Charles University, Prague Message Zulip when a PR is opened #124: Pull request #770 opened by mirefek
6s
6s
pages build and deployment pages-build-deployment #1880: by leanprover-community-bot
36s master
master
36s
deploy site deploy site #3723: Scheduled
41m 31s lean4
lean4
41m 31s
add AUB course on formal verification (#769) deploy site #3722: Commit 2ad28bc pushed by bryangingechen
1m 37s lean4
lean4
1m 37s
add AUB course on formal verification build site (pull request) #121: Pull request #769 opened by Rida-Hamadani
52m 56s Rida-Hamadani:patch-3
Rida-Hamadani:patch-3
52m 56s
add AUB course on formal verification Message Zulip when a PR is opened #123: Pull request #769 opened by Rida-Hamadani
7s
7s
pages build and deployment pages-build-deployment #1879: by leanprover-community-bot
36s master
master
36s
deploy site deploy site #3721: Scheduled
29m 50s lean4
lean4
29m 50s
pages build and deployment pages-build-deployment #1878: by leanprover-community-bot
38s master
master
38s
deploy site deploy site #3720: Scheduled
12m 16s lean4
lean4
12m 16s
pages build and deployment pages-build-deployment #1877: by leanprover-community-bot
42s master
master
42s
deploy site deploy site #3719: Scheduled
29m 57s lean4
lean4
29m 57s
pages build and deployment pages-build-deployment #1876: by leanprover-community-bot
40s master
master
40s
deploy site deploy site #3718: Scheduled
20m 13s lean4
lean4
20m 13s
pages build and deployment pages-build-deployment #1875: by leanprover-community-bot
38s master
master
38s
deploy site deploy site #3717: Scheduled
1h 5m 11s lean4
lean4
1h 5m 11s