Skip to content

Actions: leanprover-community/LeanProject

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
151 workflow runs
151 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
chore: bump to v4.25.1 Build Project #73: Commit 9df0999 pushed by pitmonticone
2m 24s main
main
2m 24s
github_actions in /. - Update #1162221405 Dependabot Updates #46: by dependabot bot
38s main
main
38s
github_actions in /. - Update #1154109462 Dependabot Updates #45: by dependabot bot
24s main
main
24s
chore: bump to v4.25.0 Build Project #70: Commit c2b4e27 pushed by pitmonticone
2m 0s main
main
2m 0s
chore: bump to v4.25.0 Create Release #36: Commit c2b4e27 pushed by pitmonticone
8s main
main
8s
Updates available and ready to merge (#67) Build Project #69: Commit d060692 pushed by pitmonticone
2m 33s main
main
2m 33s
Updates available and ready to merge Build Project #68: Pull request #67 synchronize by pitmonticone
1m 50s auto-update-lean/patch-master
auto-update-lean/patch-master
1m 50s
Updates available and ready to merge (#66) Create Release #35: Commit 1ba8702 pushed by pitmonticone
12s main
main
12s
Updates available and ready to merge (#66) Build Project #67: Commit 1ba8702 pushed by pitmonticone
1m 52s main
main
1m 52s
Updates available and ready to merge Build Project #66: Pull request #66 synchronize by pitmonticone
1m 53s auto-update-lean/patch-v4.25.0-rc2
auto-update-lean/patch-v4.25.0-rc2
1m 53s
Updates available and ready to merge (#65) Create Release #34: Commit 2e12300 pushed by pitmonticone
13s main
main
13s
Updates available and ready to merge (#65) Build Project #65: Commit 2e12300 pushed by pitmonticone
1m 50s main
main
1m 50s