Skip to content

Actions: pitmonticone/LeanProject

Actions

Create Release

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
create-release.yml
16 workflow runs
16 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Updates available and ready to merge (#22) Create Release #16: Commit 34961fb pushed by pitmonticone
February 9, 2025 18:57 13s main
main
February 9, 2025 18:57 13s
Updates available and ready to merge (#21) Create Release #15: Commit e114760 pushed by pitmonticone
February 3, 2025 19:00 13s main
main
February 3, 2025 19:00 13s
Updates available and ready to merge (#18) Create Release #14: Commit e5ee146 pushed by pitmonticone
January 14, 2025 12:04 17s main
main
January 14, 2025 12:04 17s
Updates available and ready to merge (#17) Create Release #13: Commit f1f861a pushed by pitmonticone
January 5, 2025 14:00 16s main
main
January 5, 2025 14:00 16s
Updates available and ready to merge (#12) Create Release #12: Commit 536a3ca pushed by pitmonticone
December 6, 2024 16:34 16s main
main
December 6, 2024 16:34 16s
Update create-release workflow Create Release #11: Commit 631daf1 pushed by pitmonticone
November 8, 2024 16:00 12s main
main
November 8, 2024 16:00 12s
Update create-release.yml Create Release #10: Commit 329c895 pushed by pitmonticone
November 8, 2024 15:30 11s main
main
November 8, 2024 15:30 11s
Lean v4.14.0-rc2 Create Release #9: Commit e8a7b4a pushed by pitmonticone
November 8, 2024 15:27 12s main
main
November 8, 2024 15:27 12s
Update create-release.yml Create Release #8: Commit 2d2d8d0 pushed by pitmonticone
November 8, 2024 15:26 15s main
main
November 8, 2024 15:26 15s
Lean v4.13.0 Create Release #7: Commit b8505dc pushed by pitmonticone
November 8, 2024 15:21 21s main
main
November 8, 2024 15:21 21s
Update create-release.yml Create Release #6: Commit 056d8c1 pushed by pitmonticone
November 8, 2024 15:20 11s main
main
November 8, 2024 15:20 11s
Bump to Lean v4.14.0-rc2 Create Release #5: Commit 78aa031 pushed by pitmonticone
November 8, 2024 15:17 15s main
main
November 8, 2024 15:17 15s
Update create-release.yml Create Release #4: Commit e6231eb pushed by pitmonticone
November 8, 2024 15:16 14s main
main
November 8, 2024 15:16 14s
Bump Lean to v4.13.0 (#10) Create Release #3: Commit 2985140 pushed by pitmonticone
November 8, 2024 15:13 14s main
main
November 8, 2024 15:13 14s
Update build-project.yml Create Release #2: Commit 082a898 pushed by pitmonticone
November 8, 2024 15:11 11s main
main
November 8, 2024 15:11 11s
Create create-release.yml Create Release #1: Commit 5de5c97 pushed by pitmonticone
November 8, 2024 15:09 16s main
main
November 8, 2024 15:09 16s