Skip to content

Actions: leanprover/cslib

Actions

Release

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
release.yml
23 workflow runs
23 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.34.0-rc2 (#832) Release #23: Commit 2255a5b pushed by kim-em
10s v4.34.0-rc2
v4.34.0-rc2
10s
Release Release #22: by kim-em
12s v4.33.1
v4.33.1
12s
chore: bump toolchain to v4.34.0-rc1 (#792) Release #21: Commit 4bec19f pushed by Garmelon
9s v4.34.0-rc1
v4.34.0-rc1
9s
chore: bump toolchain to v4.33.0 (#789) Release #20: Commit 3951377 pushed by Garmelon
9s v4.33.0
v4.33.0
9s
chore: bump toolchain to v4.33.0-rc2 (#773) Release #19: Commit 3aa9d44 pushed by Garmelon
14s v4.33.0-rc2
v4.33.0-rc2
14s
Release Release #18: by Garmelon
17s v4.32.2
v4.32.2
17s
Release Release #17: by Garmelon
10s v4.32.1
v4.32.1
10s
chore: bump toolchain to v4.33.0-rc1 (#723) Release #16: Commit 810849d pushed by Garmelon
20s v4.33.0-rc1
v4.33.0-rc1
20s
chore: bump toolchain to v4.32.0 (#717) Release #15: Commit 197a7be pushed by Garmelon
10s v4.32.0
v4.32.0
10s
chore: bump toolchain to v4.32.0-rc1 (#664) Release #14: Commit e0573fb pushed by Garmelon
6s v4.32.0-rc1
v4.32.0-rc1
6s
chore: bump toolchain to v4.31.0 (#651) Release #13: Commit 8ea71c8 pushed by Garmelon
10s v4.31.0
v4.31.0
10s
chore: bump toolchain to v4.31.0-rc2 (#623) Release #12: Commit 9e9fa1e pushed by Garmelon
7s v4.31.0-rc2
v4.31.0-rc2
7s
chore: bump toolchain to v4.31.0-rc1 (#609) Release #11: Commit 2f677bf pushed by Garmelon
8s v4.31.0-rc1
v4.31.0-rc1
8s
chore: bump toolchain to v4.30.0 (#601) Release #10: Commit c7944a9 pushed by Garmelon
11s v4.30.0
v4.30.0
11s
chore: bump toolchain to v4.30.0-rc2 (#496) Release #9: Commit 95fdc7d pushed by Garmelon
7s v4.30.0-rc2
v4.30.0-rc2
7s
feat(Logics/Propositional): definitions (#89) Release #8: Commit 6178564 pushed by kim-em
9s v4.30.0-rc1
v4.30.0-rc1
9s
chore: bump toolchain to v4.29.0 (#463) Release #7: Commit 0d37cc7 pushed by Garmelon
11s v4.29.0
v4.29.0
11s
chore: bump toolchain to v4.29.0-rc8 (#457) Release #6: Commit 74388a7 pushed by Garmelon
10s v4.29.0-rc8
v4.29.0-rc8
10s
chore: bump toolchain to v4.29.0-rc7 (#452) Release #5: Commit 1119f31 pushed by kim-em
6s v4.29.0-rc7
v4.29.0-rc7
6s
feat: Add η-reduction definition (#414) Release #4: Commit 9a159ac pushed by kim-em
57s v4.29.0-rc6
v4.29.0-rc6
57s
chore: bump toolchain to v4.29.0-rc3 (#382) Release #3: Commit 0ee36ae pushed by kim-em
7s v4.29.0-rc3
v4.29.0-rc3
7s
chore: bump toolchain to v4.29.0-rc2 (#368) Release #2: Commit 1316808 pushed by kim-em
8s v4.29.0-rc2
v4.29.0-rc2
8s
chore(CombinatoryLogic): miscellaneous grind golfing (#345) Release #1: Commit 24899be pushed by kim-em
6s v4.29.0-rc1
v4.29.0-rc1
6s