Skip to content

Actions: leanprover/lean4checker

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
184 workflow runs
184 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
chore: bump toolchain to v4.14.0-rc1 continuous integration #151: Commit a8b20e8 pushed by kim-em
November 4, 2024 00:44 33s bump_to_v4.14.0-rc1
bump_to_v4.14.0-rc1
November 4, 2024 00:44 33s
chore: add note about lean4lean continuous integration #150: Pull request #28 opened by digama0
November 4, 2024 00:01 1m 14s digama0:lean4lean_note
digama0:lean4lean_note
November 4, 2024 00:01 1m 14s
Merge pull request #27 from leanprover/bump_to_v4.13.0 continuous integration #149: Commit 7bc0a77 pushed by kim-em
November 1, 2024 02:52 31s stable
stable
November 1, 2024 02:52 31s
Merge pull request #27 from leanprover/bump_to_v4.13.0 continuous integration #148: Commit 7bc0a77 pushed by kim-em
November 1, 2024 02:52 35s v4.13.0
v4.13.0
November 1, 2024 02:52 35s
Merge pull request #27 from leanprover/bump_to_v4.13.0 continuous integration #147: Commit 7bc0a77 pushed by kim-em
November 1, 2024 02:51 32s master
master
November 1, 2024 02:51 32s
chore: bump toolchain to v4.13.0 continuous integration #146: Pull request #27 opened by kim-em
November 1, 2024 02:47 35s bump_to_v4.13.0
bump_to_v4.13.0
November 1, 2024 02:47 35s
chore: bump toolchain to v4.13.0 continuous integration #145: Commit 6fe3427 pushed by kim-em
November 1, 2024 02:46 34s bump_to_v4.13.0
bump_to_v4.13.0
November 1, 2024 02:46 34s
Merge pull request #26 from leanprover/project continuous integration #144: Commit 1950756 pushed by kim-em
October 14, 2024 01:01 32s bump_to_v4.13.0-rc3
bump_to_v4.13.0-rc3
October 14, 2024 01:01 32s
Merge pull request #26 from leanprover/project continuous integration #143: Commit 1950756 pushed by kim-em
October 14, 2024 00:58 32s master
master
October 14, 2024 00:58 32s
feat: only run on current project continuous integration #142: Pull request #26 opened by kim-em
October 14, 2024 00:57 34s project
project
October 14, 2024 00:57 34s
cleanup continuous integration #141: Commit 7bef601 pushed by kim-em
October 14, 2024 00:56 34s project
project
October 14, 2024 00:56 34s
sigh continuous integration #140: Commit 835bde0 pushed by kim-em
October 14, 2024 00:33 20s project
project
October 14, 2024 00:33 20s