Skip to content

Actions: leanprover-community/LeanProject

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
317 workflow runs
317 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
Build and Deploy Pages Build and Deploy Pages #217: Scheduled
37s main
main
37s
Build and Deploy Pages Build and Deploy Pages #216: Scheduled
34s main
main
34s
github_actions in /. - Update #1618807867 Dependabot Updates #93: by dependabot Bot
50s main
main
50s
Build and Deploy Pages Build and Deploy Pages #215: Scheduled
36s main
main
36s
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
github_actions in /. - Update #1604605724 Dependabot Updates #92: by dependabot Bot
46s main
main
46s
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
github_actions in /. - Update #1591437051 Dependabot Updates #91: by dependabot Bot
34s main
main
34s
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