Skip to content

Actions: pitmonticone/LeanProject

Actions

Build Project

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Updates available and ready to merge (#21) Build Project #26: Commit e114760 pushed by pitmonticone
February 3, 2025 19:00 1m 32s main
main
February 3, 2025 19:00 1m 32s
bump mathlib Build Project #25: Commit a6104ed pushed by pitmonticone
January 24, 2025 22:07 1m 37s main
main
January 24, 2025 22:07 1m 37s
Updates available and ready to merge (#18) Build Project #24: Commit e5ee146 pushed by pitmonticone
January 14, 2025 12:04 1m 22s main
main
January 14, 2025 12:04 1m 22s
Updates available and ready to merge (#17) Build Project #23: Commit f1f861a pushed by pitmonticone
January 5, 2025 14:00 1m 24s main
main
January 5, 2025 14:00 1m 24s
Updates available and ready to merge (#16) Build Project #22: Commit c4ad220 pushed by pitmonticone
December 31, 2024 14:43 1m 32s main
main
December 31, 2024 14:43 1m 32s
Updates available and ready to merge (#15) Build Project #21: Commit da2304a pushed by pitmonticone
December 24, 2024 10:47 1m 35s main
main
December 24, 2024 10:47 1m 35s
Updates available and ready to merge (#14) Build Project #20: Commit 88f4a0b pushed by pitmonticone
December 11, 2024 22:01 1m 38s main
main
December 11, 2024 22:01 1m 38s
Updates available and ready to merge (#13) Build Project #19: Commit e463535 pushed by pitmonticone
December 8, 2024 20:40 1m 23s main
main
December 8, 2024 20:40 1m 23s
Updates available and ready to merge (#12) Build Project #18: Commit 536a3ca pushed by pitmonticone
December 6, 2024 16:34 1m 27s main
main
December 6, 2024 16:34 1m 27s
Update lake-manifest.json Build Project #17: Commit 115bbf4 pushed by pitmonticone
November 24, 2024 23:13 1m 20s main
main
November 24, 2024 23:13 1m 20s
[doc-gen] Use docbuild setup Build Project #16: Pull request #11 synchronize by pitmonticone
November 14, 2024 15:11 1m 20s docbuild
docbuild
November 14, 2024 15:11 1m 20s
[doc-gen] Use docbuild setup Build Project #15: Pull request #11 synchronize by pitmonticone
November 11, 2024 14:53 1m 24s docbuild
docbuild
November 11, 2024 14:53 1m 24s
[doc-gen] Use docbuild setup Build Project #14: Pull request #11 opened by pitmonticone
November 11, 2024 14:40 1m 21s docbuild
docbuild
November 11, 2024 14:40 1m 21s
Bump Lean to v4.14.0-rc2 Build Project #13: Commit 6d2ac59 pushed by pitmonticone
November 8, 2024 15:46 1m 19s main
main
November 8, 2024 15:46 1m 19s
Lean v4.13.0 Build Project #12: Commit ea3aed0 pushed by pitmonticone
November 8, 2024 15:39 1m 22s main
main
November 8, 2024 15:39 1m 22s
Lean v4.14.0-rc2 Build Project #11: Commit e8a7b4a pushed by pitmonticone
November 8, 2024 15:27 1m 20s main
main
November 8, 2024 15:27 1m 20s
Lean v4.13.0 Build Project #10: Commit b8505dc pushed by pitmonticone
November 8, 2024 15:21 1m 18s main
main
November 8, 2024 15:21 1m 18s
Bump to Lean v4.14.0-rc2 Build Project #9: Commit 78aa031 pushed by pitmonticone
November 8, 2024 15:17 1m 19s main
main
November 8, 2024 15:17 1m 19s
Bump Lean to v4.13.0 (#10) Build Project #8: Commit 2985140 pushed by pitmonticone
November 8, 2024 15:13 1m 19s main
main
November 8, 2024 15:13 1m 19s
Bump Lean to v4.13.0 Build Project #7: Pull request #10 opened by pitmonticone
November 8, 2024 15:10 1m 19s 4.13.0
4.13.0
November 8, 2024 15:10 1m 19s
Update lake-manifest.json Build Project #6: Commit cca86cf pushed by pitmonticone
November 8, 2024 14:00 1m 21s main
main
November 8, 2024 14:00 1m 21s
bump Build Project #5: Commit 44cd4ab pushed by pitmonticone
November 6, 2024 14:48 1m 22s main
main
November 6, 2024 14:48 1m 22s
Bump Build Project #4: Commit 48e68d2 pushed by pitmonticone
November 5, 2024 12:58 1m 18s main
main
November 5, 2024 12:58 1m 18s
Update lake-manifest.json Build Project #3: Commit 01a4057 pushed by pitmonticone
November 2, 2024 00:11 1m 30s main
main
November 2, 2024 00:11 1m 30s
Update lean-toolchain Build Project #2: Commit eeb1f0a pushed by pitmonticone
November 2, 2024 00:09 1m 8s main
main
November 2, 2024 00:09 1m 8s