Skip to content

Actions: leanprover-community/LeanProject

Actions

Create Release

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
chore: bump to v4.22.0-rc3 Create Release #28: Commit b233aaa pushed by pitmonticone
8s main
main
8s
chore: bump to v4.21.0 Create Release #27: Commit bd9e469 pushed by pitmonticone
11s main
main
11s
Updates available and ready to merge (#52) Create Release #26: Commit 371c4e3 pushed by pitmonticone
10s main
main
10s
Updates available and ready to merge (#51) Create Release #25: Commit ffcdbd4 pushed by pitmonticone
11s main
main
11s
Updates available and ready to merge (#50) Create Release #24: Commit 164a80b pushed by pitmonticone
14s main
main
14s
Updates available and ready to merge (#49) Create Release #23: Commit c19fda9 pushed by pitmonticone
10s main
main
10s
Updates available and ready to merge (#48) Create Release #22: Commit f02768e pushed by pitmonticone
12s main
main
12s
chore: bump to v4.20.0 Create Release #21: Commit 87a4e38 pushed by pitmonticone
13s main
main
13s
chore: bump to v4.19.0 Create Release #20: Commit 68a8bae pushed by pitmonticone
10s main
main
10s
chore: bump to v4.19.0-rc3 Create Release #19: Commit 337501c pushed by pitmonticone
13s main
main
13s
Updates available and ready to merge (#27) Create Release #18: Commit cef518b pushed by pitmonticone
12s main
main
12s
Updates available and ready to merge (#24) Create Release #17: Commit 1aed51d pushed by pitmonticone
17s main
main
17s
Updates available and ready to merge (#22) Create Release #16: Commit 34961fb pushed by pitmonticone
13s main
main
13s
Updates available and ready to merge (#21) Create Release #15: Commit e114760 pushed by pitmonticone
13s main
main
13s