Skip to content

Actions: leanprover-community/LeanProject

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
189 workflow runs
189 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 #55: Scheduled
55s main
main
55s
Build and Deploy Pages Build and Deploy Pages #54: Scheduled
5m 12s main
main
5m 12s
Build and Deploy Pages Build and Deploy Pages #53: Scheduled
42s main
main
42s
Build and Deploy Pages Build and Deploy Pages #52: Scheduled
46s main
main
46s
Build and Deploy Pages Build and Deploy Pages #51: Scheduled
34s main
main
34s
Build and Deploy Pages Build and Deploy Pages #50: Scheduled
34s main
main
34s
github_actions in /. - Update #1343996594 Dependabot Updates #70: by dependabot Bot
40s main
main
40s
Build and Deploy Pages Build and Deploy Pages #49: Scheduled
36s main
main
36s
Build and Deploy Pages Build and Deploy Pages #48: Scheduled
41s main
main
41s
Build and Deploy Pages Build and Deploy Pages #47: Scheduled
40s main
main
40s
Build and Deploy Pages Build and Deploy Pages #46: Scheduled
46s main
main
46s
Build and Deploy Pages Build and Deploy Pages #45: Scheduled
50s main
main
50s
Build and Deploy Pages Build and Deploy Pages #44: Scheduled
40s main
main
40s
Build and Deploy Pages Build and Deploy Pages #43: Scheduled
32s main
main
32s
chore(deps): bump leanprover/lean-action from 1.4.0 to 1.5.0 (#81) Build and Deploy Pages #42: Commit 68cfe6c pushed by pitmonticone
33s main
main
33s
Build and Deploy Pages Build and Deploy Pages #41: Scheduled
35s main
main
35s
github_actions in /. - Update #1335893310 Dependabot Updates #69: by dependabot Bot
40s main
main
40s
Build and Deploy Pages Build and Deploy Pages #40: Scheduled
40s main
main
40s
Build and Deploy Pages Build and Deploy Pages #39: Scheduled
36s main
main
36s
Build and Deploy Pages Build and Deploy Pages #38: Scheduled
36s main
main
36s
Build and Deploy Pages Build and Deploy Pages #37: Scheduled
34s main
main
34s
Build and Deploy Pages Build and Deploy Pages #36: Scheduled
34s main
main
34s
Build and Deploy Pages Build and Deploy Pages #35: Scheduled
32s main
main
32s
chore(deps): bump actions/upload-pages-artifact from 4 to 5 (#80) Build and Deploy Pages #34: Commit ddcef53 pushed by pitmonticone
37s main
main
37s
Build and Deploy Pages Build and Deploy Pages #33: Scheduled
35s main
main
35s