Skip to content

Actions: leanprover-community/repl

Actions

Run Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
223 workflow runs
223 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: bump toolchain to v4.6.0 Run Tests #138: Pull request #34 synchronize by kim-em
February 29, 2024 04:56 2m 4s bump_to_v4.6.0
bump_to_v4.6.0
February 29, 2024 04:56 2m 4s
sigh Run Tests #137: Commit 78e00d6 pushed by kim-em
February 29, 2024 04:56 2m 3s bump_to_v4.6.0
bump_to_v4.6.0
February 29, 2024 04:56 2m 3s
chore: bump toolchain to v4.6.0 Run Tests #136: Pull request #34 synchronize by kim-em
February 29, 2024 04:56 1m 50s bump_to_v4.6.0
bump_to_v4.6.0
February 29, 2024 04:56 1m 50s
oops, run lake update Run Tests #135: Commit 561d136 pushed by kim-em
February 29, 2024 04:56 2m 5s bump_to_v4.6.0
bump_to_v4.6.0
February 29, 2024 04:56 2m 5s
chore: bump toolchain to v4.6.0 Run Tests #134: Pull request #34 opened by kim-em
February 29, 2024 04:34 2h 45m 31s bump_to_v4.6.0
bump_to_v4.6.0
February 29, 2024 04:34 2h 45m 31s
chore: bump toolchain to v4.6.0 Run Tests #133: Commit b9bbaa1 pushed by kim-em
February 29, 2024 04:34 2h 49m 23s bump_to_v4.6.0
bump_to_v4.6.0
February 29, 2024 04:34 2h 49m 23s
feat: use environment from before the declaration, so exact? doesn't … Run Tests #132: Commit 6651502 pushed by kim-em
February 15, 2024 06:37 1m 50s master
master
February 15, 2024 06:37 1m 50s
synthesizeSyntheticMVarsNoPostponing Run Tests #131: Commit fa73f05 pushed by kim-em
February 15, 2024 06:04 1m 32s master
master
February 15, 2024 06:04 1m 32s
chore: add another test Run Tests #130: Commit e2dbabd pushed by kim-em
February 8, 2024 23:58 1m 45s master
master
February 8, 2024 23:58 1m 45s
chore: test for no goal sorry Run Tests #129: Commit 43e107e pushed by kim-em
February 8, 2024 06:05 1m 31s master
master
February 8, 2024 06:05 1m 31s
better NameGenerator workaround Run Tests #128: Commit 93cbe65 pushed by kim-em
February 6, 2024 07:09 1m 32s master
master
February 6, 2024 07:09 1m 32s
fix: NameGenerator bug (#32) Run Tests #127: Commit 4e70edc pushed by kim-em
February 6, 2024 03:25 1m 32s master
master
February 6, 2024 03:25 1m 32s
fix: NameGenerator bug Run Tests #126: Pull request #32 synchronize by kim-em
February 6, 2024 03:25 1m 34s debug
debug
February 6, 2024 03:25 1m 34s
fix: NameGenerator bug Run Tests #125: Commit 8684c89 pushed by kim-em
February 6, 2024 03:24 1m 37s debug
debug
February 6, 2024 03:24 1m 37s
fix: NameGenerator bug Run Tests #124: Pull request #32 opened by kim-em
February 6, 2024 03:24 1m 44s debug
debug
February 6, 2024 03:24 1m 44s
stopgap fix for name-generator Run Tests #123: Commit 57aa14b pushed by kim-em
February 6, 2024 03:23 1m 31s debug
debug
February 6, 2024 03:23 1m 31s
move repro out of test/Mathlib/ into test/ Run Tests #122: Commit b81bd33 pushed by kim-em
February 6, 2024 00:42 1m 35s debug
debug
February 6, 2024 00:42 1m 35s
. Run Tests #121: Commit 8684522 pushed by kim-em
February 5, 2024 22:21 1m 37s debug
debug
February 5, 2024 22:21 1m 37s
some monad simplifications Run Tests #120: Commit c210906 pushed by kim-em
February 2, 2024 22:30 1m 33s master
master
February 2, 2024 22:30 1m 33s
chore: bump for lean4#3159 (#29) Run Tests #119: Commit 6413ae1 pushed by kim-em
February 2, 2024 06:11 1m 37s master
master
February 2, 2024 06:11 1m 37s
chore: bump for lean4#3159 Run Tests #118: Pull request #29 synchronize by kim-em
February 2, 2024 06:10 1m 41s mhuisi:bump-3159
mhuisi:bump-3159
February 2, 2024 06:10 1m 41s
chore: bump for lean4#3159 Run Tests #117: Pull request #29 synchronize by kim-em
February 2, 2024 06:03 25s mhuisi:bump-3159
mhuisi:bump-3159
February 2, 2024 06:03 25s
capture trace messages in tactic commands Run Tests #116: Commit 2a102d0 pushed by kim-em
February 2, 2024 01:55 1m 40s master
master
February 2, 2024 01:55 1m 40s
chore: move to v4.5.0 Run Tests #115: Commit 8c2358b pushed by kim-em
February 1, 2024 23:53 1m 36s v4.5.0
v4.5.0
February 1, 2024 23:53 1m 36s
chore: move to v4.5.0 Run Tests #114: Commit 8c2358b pushed by kim-em
February 1, 2024 23:53 1m 28s master
master
February 1, 2024 23:53 1m 28s