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

chore: move to v4.8.0-rc1 continuous integration #76: Pull request #13 synchronize by kim-em
May 2, 2024 12:13 18s bump/v4.8.0
bump/v4.8.0
May 2, 2024 12:13 18s
Revert changes to test.sh continuous integration #75: Commit 80cf346 pushed by kim-em
May 2, 2024 12:13 17s bump/v4.8.0
bump/v4.8.0
May 2, 2024 12:13 17s
chore: move to v4.8.0-rc1 continuous integration #74: Pull request #13 opened by kim-em
May 2, 2024 12:13 27s bump/v4.8.0
bump/v4.8.0
May 2, 2024 12:13 27s
move to v4.8.0-rc1 continuous integration #73: Commit b68e32c pushed by kim-em
May 2, 2024 12:12 26s bump/v4.8.0
bump/v4.8.0
May 2, 2024 12:12 26s
merge nightly-testing continuous integration #72: Commit 4d65e92 pushed by kim-em
April 30, 2024 11:38 22s bump/v4.8.0
bump/v4.8.0
April 30, 2024 11:38 22s
fix test.sh continuous integration #71: Commit f6a8ce3 pushed by kim-em
April 30, 2024 11:36 21s nightly-testing
nightly-testing
April 30, 2024 11:36 21s
Merge pull request #12 from tydeu/quiet-lake continuous integration #70: Commit 6b35946 pushed by kim-em
April 24, 2024 03:19 25s master
master
April 24, 2024 03:19 25s
chore: use lake -q in test to request no extra output continuous integration #69: Pull request #12 opened by tydeu
April 19, 2024 00:19 22s tydeu:quiet-lake
tydeu:quiet-lake
April 19, 2024 00:19 22s
chore: bump toolchain to v4.7.0 continuous integration #68: Commit 84ba1cf pushed by david-christiansen
April 3, 2024 08:30 24s stable
stable
April 3, 2024 08:30 24s
chore: bump toolchain to v4.7.0 continuous integration #67: Commit 84ba1cf pushed by david-christiansen
April 3, 2024 08:18 23s toolchain/v4.7.0
toolchain/v4.7.0
April 3, 2024 08:18 23s
chore: bump toolchain to v4.7.0 continuous integration #66: Commit 84ba1cf pushed by david-christiansen
April 3, 2024 08:17 28s master
master
April 3, 2024 08:17 28s
chore: bump toolchain to v4.7.0 continuous integration #65: Pull request #11 opened by david-christiansen
April 3, 2024 08:04 22s david-christiansen:4.7.0-release
david-christiansen:4.7.0-release
April 3, 2024 08:04 22s
adaptations for v4.8.0 continuous integration #64: Commit 4d2ed60 pushed by kim-em
March 18, 2024 04:05 27s bump/v4.8.0
bump/v4.8.0
March 18, 2024 04:05 27s
Merge pull request #10 from leanprover/move_to_v4.7.0-rc1 continuous integration #63: Commit 9b652c8 pushed by kim-em
March 18, 2024 03:41 19s bump/v4.8.0
bump/v4.8.0
March 18, 2024 03:41 19s
chore: adaptations for nightly-2024-03-16 continuous integration #62: Commit 64817f4 pushed by kim-em
March 18, 2024 03:40 22s nightly-testing
nightly-testing
March 18, 2024 03:40 22s
Merge pull request #10 from leanprover/move_to_v4.7.0-rc1 continuous integration #61: Commit 9b652c8 pushed by kim-em
March 5, 2024 01:11 28s toolchain/v4.7.0-rc1
toolchain/v4.7.0-rc1
March 5, 2024 01:11 28s
Merge pull request #10 from leanprover/move_to_v4.7.0-rc1 continuous integration #60: Commit 9b652c8 pushed by kim-em
March 5, 2024 01:10 25s master
master
March 5, 2024 01:10 25s
chore: move to v4.7.0-rc1 continuous integration #59: Pull request #10 opened by kim-em
March 5, 2024 01:09 25s move_to_v4.7.0-rc1
move_to_v4.7.0-rc1
March 5, 2024 01:09 25s
chore: move to v4.7.0-rc1 continuous integration #58: Commit 759ee1a pushed by kim-em
March 5, 2024 01:09 27s move_to_v4.7.0-rc1
move_to_v4.7.0-rc1
March 5, 2024 01:09 27s
Merge pull request #9 from leanprover/bump_to_v4.6.0 continuous integration #57: Commit 9b879a6 pushed by kim-em
February 29, 2024 01:02 20s stable
stable
February 29, 2024 01:02 20s
Merge pull request #9 from leanprover/bump_to_v4.6.0 continuous integration #56: Commit 9b879a6 pushed by kim-em
February 29, 2024 01:02 22s toolchain/v4.6.0
toolchain/v4.6.0
February 29, 2024 01:02 22s
Merge pull request #9 from leanprover/bump_to_v4.6.0 continuous integration #55: Commit 9b879a6 pushed by kim-em
February 29, 2024 01:01 25s master
master
February 29, 2024 01:01 25s
chore: bump toolchain to v4.6.0 continuous integration #54: Pull request #9 opened by kim-em
February 29, 2024 00:48 20s bump_to_v4.6.0
bump_to_v4.6.0
February 29, 2024 00:48 20s
chore: bump toolchain to v4.6.0 continuous integration #53: Commit 798ed9f pushed by kim-em
February 29, 2024 00:47 21s bump_to_v4.6.0
bump_to_v4.6.0
February 29, 2024 00:47 21s
move to v4.6.0-rc1 continuous integration #52: Commit 6c36abb pushed by kim-em
February 1, 2024 23:52 24s toolchain/v4.6.0-rc1
toolchain/v4.6.0-rc1
February 1, 2024 23:52 24s