Skip to content

Actions: leanprover-community/LeanProject

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
158 workflow runs
158 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Updates available and ready to merge (#74) Build Project #78: Commit 445179e pushed by pitmonticone
2m 19s main
main
2m 19s
Updates available and ready to merge (#74) Create Release #40: Commit 445179e pushed by pitmonticone
9s main
main
9s
Update Dependencies Update Dependencies #21: Manually run by pitmonticone
13m 50s main
main
13m 50s
github_actions in /. - Update #1250598373 Dependabot Updates #60: by dependabot bot
32s main
main
32s
github_actions in /. - Update #1242829125 Dependabot Updates #59: by dependabot bot
27s main
main
27s
github_actions in /. - Update #1236000893 Dependabot Updates #58: by dependabot bot
36s main
main
36s
Build Project Build Project #77: Manually run by riccardobrasca
2m 18s main
main
2m 18s
github_actions in /. - Update #1226744082 Dependabot Updates #57: by dependabot bot
34s main
main
34s