Skip to content

Actions: leanprover-community/LeanProject

Actions

Build Project

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build-project.yml
24 workflow runs
24 workflow runs

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
Updates available and ready to merge (#74) Build Project #78: Commit 445179e pushed by pitmonticone
2m 19s main
main
2m 19s
Build Project Build Project #77: Manually run by riccardobrasca
2m 18s main
main
2m 18s
chore: bump to v4.27.0 Build Project #76: Commit 15b8226 pushed by pitmonticone
2m 35s main
main
2m 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 Build Project #74: Commit b8042af pushed by pitmonticone
34s main
main
34s
chore: bump to v4.25.1 Build Project #73: Commit 9df0999 pushed by pitmonticone
2m 24s main
main
2m 24s
chore: bump to v4.25.0 Build Project #70: Commit c2b4e27 pushed by pitmonticone
2m 0s main
main
2m 0s
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) 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) Build Project #65: Commit 2e12300 pushed by pitmonticone
1m 50s main
main
1m 50s
Update lakefile.toml (#64) Build Project #64: Commit c91d126 pushed by pitmonticone
2m 0s main
main
2m 0s
Update lakefile.toml Build Project #63: Pull request #64 opened by pitmonticone
1m 49s 63-remove-rev-line-from-lakefiletoml
63-remove-rev-line-from-lakefiletoml
1m 49s
Update mathlib and importGraph dependencies Build Project #62: Commit 58813a6 pushed by pitmonticone
1m 49s main
main
1m 49s
Updates available and ready to merge (#61) Build Project #61: Commit a2247a7 pushed by pitmonticone
1m 34s main
main
1m 34s
Updates available and ready to merge Build Project #60: Pull request #61 synchronize by pitmonticone
1m 35s auto-update-lean/patch-v4.24.0-rc1
auto-update-lean/patch-v4.24.0-rc1
1m 35s
Updates available and ready to merge (#60) Build Project #59: Commit a8162aa pushed by pitmonticone
1m 48s main
main
1m 48s
Updates available and ready to merge Build Project #58: Pull request #60 synchronize by pitmonticone
1m 47s auto-update-lean/patch-v4.23.0
auto-update-lean/patch-v4.23.0
1m 47s
Updates available and ready to merge (#59) Build Project #57: Commit 71bd763 pushed by pitmonticone
1m 38s main
main
1m 38s
chore: bump to v4.22.0 Build Project #56: Commit 50b58a1 pushed by pitmonticone
1m 53s main
main
1m 53s
chore: bump to v4.22.0-rc4 Build Project #55: Commit a3b3317 pushed by pitmonticone
1m 44s main
main
1m 44s
chore: bump to v4.22.0-rc3 Build Project #54: Commit b233aaa pushed by pitmonticone
1m 48s main
main
1m 48s
chore: bump to v4.21.0 Build Project #53: Commit bd9e469 pushed by pitmonticone
1m 58s main
main
1m 58s