Skip to content

Actions: leanprover-community/LeanProject

Actions

Create Release

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
create-release.yml
13 workflow runs
13 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
chore: bump toolchain to v4.33.1 (#84) Create Release #41: Commit fe342d3 pushed by pitmonticone
9s main
main
9s
Updates available and ready to merge (#74) Create Release #40: Commit 445179e pushed by pitmonticone
9s main
main
9s
chore: bump to v4.27.0 Create Release #39: Commit 15b8226 pushed by pitmonticone
12s main
main
12s
chore: bump to v4.27.0-rc1 Create Release #38: Commit b8042af pushed by pitmonticone
9s main
main
9s
chore: bump to v4.25.1 Create Release #37: Commit 9df0999 pushed by pitmonticone
11s main
main
11s
chore: bump to v4.25.0 Create Release #36: Commit c2b4e27 pushed by pitmonticone
8s main
main
8s
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 (#65) Create Release #34: Commit 2e12300 pushed by pitmonticone
13s main
main
13s
Updates available and ready to merge (#61) Create Release #33: Commit a2247a7 pushed by pitmonticone
11s main
main
11s
Updates available and ready to merge (#60) Create Release #32: Commit a8162aa pushed by pitmonticone
19s main
main
19s
Updates available and ready to merge (#59) Create Release #31: Commit 71bd763 pushed by pitmonticone
8s main
main
8s
chore: bump to v4.22.0 Create Release #30: Commit 50b58a1 pushed by pitmonticone
18s main
main
18s
chore: bump to v4.22.0-rc4 Create Release #29: Commit a3b3317 pushed by pitmonticone
11s main
main
11s