Skip to content

Actions: leanprover/lean4checker

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
176 workflow runs
176 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #35 from leanprover/bump_toolchain_to_v4.15.0-rc1 continuous integration #176: Commit 03b5086 pushed by kim-em
December 2, 2024 02:52 40s v4.15.0-rc1
v4.15.0-rc1
December 2, 2024 02:52 40s
Merge pull request #35 from leanprover/bump_toolchain_to_v4.15.0-rc1 continuous integration #175: Commit 03b5086 pushed by kim-em
December 2, 2024 02:51 38s master
master
December 2, 2024 02:51 38s
chore: bump toolchain to v4.15.0-rc1 continuous integration #174: Pull request #35 synchronize by kim-em
December 2, 2024 02:37 46s bump_toolchain_to_v4.15.0-rc1
bump_toolchain_to_v4.15.0-rc1
December 2, 2024 02:37 46s
fix continuous integration #173: Commit 47f4bc1 pushed by kim-em
December 2, 2024 02:37 38s bump_toolchain_to_v4.15.0-rc1
bump_toolchain_to_v4.15.0-rc1
December 2, 2024 02:37 38s
chore: bump toolchain to v4.15.0-rc1 continuous integration #172: Pull request #35 opened by kim-em
December 2, 2024 02:34 19s bump_toolchain_to_v4.15.0-rc1
bump_toolchain_to_v4.15.0-rc1
December 2, 2024 02:34 19s
chore: bump toolchain to v4.15.0-rc1 continuous integration #171: Commit 3fec40d pushed by kim-em
December 2, 2024 02:34 28s bump_toolchain_to_v4.15.0-rc1
bump_toolchain_to_v4.15.0-rc1
December 2, 2024 02:34 28s
Merge pull request #34 from leanprover/bump_to_v4.14.0 continuous integration #170: Commit bee437b pushed by kim-em
December 2, 2024 00:09 35s stable
stable
December 2, 2024 00:09 35s
Merge pull request #34 from leanprover/bump_to_v4.14.0 continuous integration #169: Commit bee437b pushed by kim-em
December 2, 2024 00:09 34s v4.14.0
v4.14.0
December 2, 2024 00:09 34s
Merge pull request #34 from leanprover/bump_to_v4.14.0 continuous integration #168: Commit bee437b pushed by kim-em
December 2, 2024 00:08 41s master
master
December 2, 2024 00:08 41s
chore: bump toolchain to v4.14.0 continuous integration #167: Pull request #34 opened by kim-em
December 2, 2024 00:07 33s bump_to_v4.14.0
bump_to_v4.14.0
December 2, 2024 00:07 33s
chore: bump toolchain to v4.14.0 continuous integration #166: Commit fe2be49 pushed by kim-em
December 2, 2024 00:07 35s bump_to_v4.14.0
bump_to_v4.14.0
December 2, 2024 00:07 35s
Merge pull request #33 from leanprover/bump-to-v4.14.0-rc3 continuous integration #165: Commit 294d970 pushed by kim-em
December 1, 2024 00:33 38s v4.14.0-rc3
v4.14.0-rc3
December 1, 2024 00:33 38s
Merge pull request #33 from leanprover/bump-to-v4.14.0-rc3 continuous integration #164: Commit 294d970 pushed by kim-em
December 1, 2024 00:33 38s master
master
December 1, 2024 00:33 38s
chore: bump toolchain to v4.14.0-rc3 continuous integration #163: Pull request #33 opened by kim-em
December 1, 2024 00:33 37s bump-to-v4.14.0-rc3
bump-to-v4.14.0-rc3
December 1, 2024 00:33 37s
chore: bump toolchain to v4.14.0-rc3 continuous integration #162: Commit dc26979 pushed by kim-em
December 1, 2024 00:32 34s bump-to-v4.14.0-rc3
bump-to-v4.14.0-rc3
December 1, 2024 00:32 34s
chore: bump to v4.14.0-rc3 continuous integration #161: Pull request #32 opened by pitmonticone
November 30, 2024 17:31 38s pitmonticone:bump_v4.14.0-rc3
pitmonticone:bump_v4.14.0-rc3
November 30, 2024 17:31 38s
Merge pull request #31 from leanprover/replace_axiom continuous integration #160: Commit 5111994 pushed by kim-em
November 18, 2024 00:54 38s master
master
November 18, 2024 00:54 38s
feat: add a test replacing an axiom continuous integration #159: Pull request #31 opened by kim-em
November 18, 2024 00:45 35s replace_axiom
replace_axiom
November 18, 2024 00:45 35s
feat: add a test replacing an axiom continuous integration #158: Commit df48ccc pushed by kim-em
November 18, 2024 00:44 36s replace_axiom
replace_axiom
November 18, 2024 00:44 36s
Merge pull request #30 from pitmonticone/bump_to_4.14.0-rc2 continuous integration #157: Commit 57e4d7a pushed by kim-em
November 6, 2024 22:34 36s v4.14.0-rc2
v4.14.0-rc2
November 6, 2024 22:34 36s
Merge pull request #30 from pitmonticone/bump_to_4.14.0-rc2 continuous integration #156: Commit 57e4d7a pushed by kim-em
November 6, 2024 22:34 32s master
master
November 6, 2024 22:34 32s
chore: bump to lean4:v4.14.0-rc2 continuous integration #155: Pull request #30 opened by pitmonticone
November 6, 2024 15:21 34s pitmonticone:bump_to_4.14.0-rc2
pitmonticone:bump_to_4.14.0-rc2
November 6, 2024 15:21 34s
Merge pull request #29 from leanprover/bump_to_v4.14.0-rc1 continuous integration #154: Commit 9246ca9 pushed by kim-em
November 4, 2024 00:48 31s v4.14.0-rc1
v4.14.0-rc1
November 4, 2024 00:48 31s
Merge pull request #29 from leanprover/bump_to_v4.14.0-rc1 continuous integration #153: Commit 9246ca9 pushed by kim-em
November 4, 2024 00:48 33s master
master
November 4, 2024 00:48 33s
chore: bump toolchain to v4.14.0-rc1 continuous integration #152: Pull request #29 opened by kim-em
November 4, 2024 00:46 33s bump_to_v4.14.0-rc1
bump_to_v4.14.0-rc1
November 4, 2024 00:46 33s