Skip to content

Actions: leanprover/lean4checker

Actions

continuous integration

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yml
178 workflow runs
178 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: bump toolchain to v4.9.0-rc1 continuous integration #89: Pull request #15 opened by kim-em
June 7, 2024 00:37 23s bump_to_v4.9.0-rc1
bump_to_v4.9.0-rc1
June 7, 2024 00:37 23s
chore: bump toolchain to v4.9.0-rc1 continuous integration #88: Commit db902e4 pushed by kim-em
June 7, 2024 00:36 24s bump_to_v4.9.0-rc1
bump_to_v4.9.0-rc1
June 7, 2024 00:36 24s
Merge pull request #14 from leanprover/bump-to-v4.8.0 continuous integration #87: Commit f49dfe7 pushed by kim-em
June 5, 2024 03:42 23s stable
stable
June 5, 2024 03:42 23s
Merge pull request #14 from leanprover/bump-to-v4.8.0 continuous integration #86: Commit f49dfe7 pushed by kim-em
June 5, 2024 03:42 24s v4.8.0
v4.8.0
June 5, 2024 03:42 24s
Merge pull request #14 from leanprover/bump-to-v4.8.0 continuous integration #85: Commit f49dfe7 pushed by kim-em
June 5, 2024 03:42 29s master
master
June 5, 2024 03:42 29s
chore: bump toolchain to v4.8.0 continuous integration #84: Pull request #14 opened by kim-em
June 5, 2024 03:41 27s bump-to-v4.8.0
bump-to-v4.8.0
June 5, 2024 03:41 27s
chore: bump toolchain to v4.8.0 continuous integration #83: Commit ea379c3 pushed by kim-em
June 5, 2024 03:41 21s bump-to-v4.8.0
bump-to-v4.8.0
June 5, 2024 03:41 21s
chore: recreate nightly-testing continuous integration #82: Commit 9e9db78 pushed by kim-em
May 3, 2024 02:53 27s nightly-testing
nightly-testing
May 3, 2024 02:53 27s
fix test.sh continuous integration #81: Commit f6a8ce3 pushed by kim-em
May 3, 2024 02:53 21s old-nightly-testing-v4.8.0
old-nightly-testing-v4.8.0
May 3, 2024 02:53 21s
Merge pull request #13 from leanprover/bump/v4.8.0 continuous integration #80: Commit 94d8656 pushed by kim-em
May 2, 2024 12:15 22s v4.8.0-rc1
v4.8.0-rc1
May 2, 2024 12:15 22s
Merge pull request #13 from leanprover/bump/v4.8.0 continuous integration #79: Commit 94d8656 pushed by kim-em
May 2, 2024 12:14 26s master
master
May 2, 2024 12:14 26s
chore: move to v4.8.0-rc1 continuous integration #78: Pull request #13 synchronize by kim-em
May 2, 2024 12:14 20s bump/v4.8.0
bump/v4.8.0
May 2, 2024 12:14 20s
no need for trim continuous integration #77: Commit 76da07e pushed by kim-em
May 2, 2024 12:14 20s bump/v4.8.0
bump/v4.8.0
May 2, 2024 12:14 20s
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