Skip to content

Actions: leanprover-community/LeanProject

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
162 workflow runs
162 workflow runs

Filter by Workflow

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore(deps): bump actions/configure-pages from 5 to 6 (#79) Build and Deploy Pages #19: Commit 269fae0 pushed by pitmonticone
39s main
main
39s
Build and Deploy Pages Build and Deploy Pages #18: Scheduled
38s main
main
38s
github_actions in /. - Update #1306693696 Dependabot Updates #66: by dependabot bot
28s main
main
28s
Build and Deploy Pages Build and Deploy Pages #17: Scheduled
46s main
main
46s
Build and Deploy Pages Build and Deploy Pages #16: Scheduled
35s main
main
35s
Build and Deploy Pages Build and Deploy Pages #15: Scheduled
35s main
main
35s
Build and Deploy Pages Build and Deploy Pages #14: Scheduled
37s main
main
37s
Build and Deploy Pages Build and Deploy Pages #13: Scheduled
44s main
main
44s
Build and Deploy Pages Build and Deploy Pages #12: Scheduled
42s main
main
42s
chore(deps): bump actions/deploy-pages from 4 to 5 (#78) Build and Deploy Pages #11: Commit 5ef5b72 pushed by pitmonticone
42s main
main
42s
Build and Deploy Pages Build and Deploy Pages #10: Scheduled
40s main
main
40s
github_actions in /. - Update #1295917972 Dependabot Updates #65: by dependabot bot
35s main
main
35s
Build and Deploy Pages Build and Deploy Pages #9: Scheduled
34s main
main
34s
Build and Deploy Pages Build and Deploy Pages #8: Scheduled
43s main
main
43s
Build and Deploy Pages Build and Deploy Pages #7: Scheduled
36s main
main
36s
Build and Deploy Pages Build and Deploy Pages #6: Scheduled
38s main
main
38s
Build and Deploy Pages Build and Deploy Pages #5: Scheduled
41s main
main
41s
Build and Deploy Pages Build and Deploy Pages #4: Scheduled
40s main
main
40s
github_actions in /. - Update #1286341793 Dependabot Updates #64: by dependabot bot
42s main
main
42s
Build and Deploy Pages Build and Deploy Pages #3: Scheduled
44s main
main
44s
Build and Deploy Pages Build and Deploy Pages #2: Scheduled
44s main
main
44s
Add upstreaming dashboard generation (#77) Build and Deploy Pages #1: Commit 032f015 pushed by pitmonticone
39s main
main
39s
github_actions in /. - Update #1277447967 Dependabot Updates #63: by dependabot bot
36s main
main
36s
github_actions in /. - Update #1270587875 Dependabot Updates #62: by dependabot bot
34s main
main
34s
github_actions in /. - Update #1260363670 Dependabot Updates #61: by dependabot bot
24s main
main
24s