Skip to content

Actions: leanprover-community/LeanProject

Actions

Build and Deploy Pages

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
deploy-pages.yml
214 workflow runs
214 workflow runs

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
Build and Deploy Pages Build and Deploy Pages #214: Scheduled
42s main
main
42s
Build and Deploy Pages Build and Deploy Pages #213: Scheduled
1m 15s main
main
1m 15s
Build and Deploy Pages Build and Deploy Pages #212: Scheduled
45s main
main
45s
Build and Deploy Pages Build and Deploy Pages #211: Scheduled
44s main
main
44s
Build and Deploy Pages Build and Deploy Pages #210: Scheduled
32s main
main
32s
chore: update pinned actions to their SHA-pinned releases (#87) Build and Deploy Pages #209: Commit d4f099e pushed by kim-em
39s main
main
39s
Build and Deploy Pages Build and Deploy Pages #208: Scheduled
48s main
main
48s
Build and Deploy Pages Build and Deploy Pages #207: Scheduled
38s main
main
38s
Build and Deploy Pages Build and Deploy Pages #206: Scheduled
38s main
main
38s
Build and Deploy Pages Build and Deploy Pages #205: Scheduled
35s main
main
35s
Build and Deploy Pages Build and Deploy Pages #204: Scheduled
43s main
main
43s
chore: pin GitHub Actions to commit SHAs (#86) Build and Deploy Pages #203: Commit f3541ec pushed by kim-em
39s main
main
39s
Build and Deploy Pages Build and Deploy Pages #202: Scheduled
42s main
main
42s
Build and Deploy Pages Build and Deploy Pages #201: Scheduled
42s main
main
42s
Build and Deploy Pages Build and Deploy Pages #200: Scheduled
43s main
main
43s
Build and Deploy Pages Build and Deploy Pages #199: Scheduled
1m 13s main
main
1m 13s
Build and Deploy Pages Build and Deploy Pages #198: Scheduled
36s main
main
36s
Build and Deploy Pages Build and Deploy Pages #197: Scheduled
52s main
main
52s
Build and Deploy Pages Build and Deploy Pages #196: Scheduled
42s main
main
42s
Build and Deploy Pages Build and Deploy Pages #195: Scheduled
41s main
main
41s
Build and Deploy Pages Build and Deploy Pages #194: Scheduled
41s main
main
41s
Build and Deploy Pages Build and Deploy Pages #193: Scheduled
43s main
main
43s
Build and Deploy Pages Build and Deploy Pages #192: Scheduled
38s main
main
38s
Build and Deploy Pages Build and Deploy Pages #191: Scheduled
49s main
main
49s
Build and Deploy Pages Build and Deploy Pages #190: Scheduled
38s main
main
38s