Skip to content

Actions: leanprover-community/LeanProject

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
152 workflow runs
152 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
chore: bump to v4.27.0 Build Project #76: Commit 15b8226 pushed by pitmonticone
2m 35s main
main
2m 35s
chore: bump to v4.27.0 Create Release #39: Commit 15b8226 pushed by pitmonticone
12s main
main
12s
github_actions in /. - Update #1218473851 Dependabot Updates #56: by dependabot bot
32s main
main
32s
github_actions in /. - Update #1210856095 Dependabot Updates #55: by dependabot bot
31s main
main
31s
github_actions in /. - Update #1206588653 Dependabot Updates #54: by dependabot bot
35s main
main
35s
github_actions in /. - Update #1206122433 Dependabot Updates #53: by dependabot bot
35s main
main
35s
Update lakefile.toml Build Project #75: Commit b09f921 pushed by pitmonticone
2m 34s main
main
2m 34s
chore: bump to v4.27.0-rc1 Create Release #38: Commit b8042af pushed by pitmonticone
9s main
main
9s
chore: bump to v4.27.0-rc1 Build Project #74: Commit b8042af pushed by pitmonticone
34s main
main
34s
github_actions in /. - Update #1198661906 Dependabot Updates #52: by dependabot bot
34s main
main
34s
github_actions in /. - Update #1192358121 Dependabot Updates #51: by dependabot bot
36s main
main
36s
github_actions in /. - Update #1187882105 Dependabot Updates #50: by dependabot bot
28s main
main
28s
github_actions in /. - Update #1182285835 Dependabot Updates #49: by dependabot bot
34s main
main
34s
github_actions in /. - Update #1176593776 Dependabot Updates #48: by dependabot bot
36s main
main
36s
github_actions in /. - Update #1169021985 Dependabot Updates #47: by dependabot bot
34s main
main
34s
chore: bump to v4.25.1 Create Release #37: Commit 9df0999 pushed by pitmonticone
11s main
main
11s