Skip to content

Actions: leanprover-community/repl

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
223 workflow runs
223 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Feature: Increase Input Length Run Tests #282: Pull request #72 opened by RexWzh
February 5, 2025 19:03 Action required Lean-zh:dev
Lean-zh:dev
February 5, 2025 19:03 Action required
Merge pull request #71 from leanprover-community/bump_to_v4.17.0-rc1 Run Tests #281: Commit 5a2a4bd pushed by jcommelin
February 4, 2025 05:22 2m 21s v4.17.0-rc1
v4.17.0-rc1
February 4, 2025 05:22 2m 21s
Merge pull request #71 from leanprover-community/bump_to_v4.17.0-rc1 Run Tests #280: Commit 5a2a4bd pushed by jcommelin
February 4, 2025 05:21 2m 20s master
master
February 4, 2025 05:21 2m 20s
chore: bump toolchain to v4.17.0-rc1 Run Tests #279: Pull request #71 opened by jcommelin
February 4, 2025 05:18 2m 18s bump_to_v4.17.0-rc1
bump_to_v4.17.0-rc1
February 4, 2025 05:18 2m 18s
chore: bump toolchain to v4.17.0-rc1 Run Tests #278: Commit 0a25146 pushed by jcommelin
February 4, 2025 05:18 2m 22s bump_to_v4.17.0-rc1
bump_to_v4.17.0-rc1
February 4, 2025 05:18 2m 22s
Merge pull request #70 from leanprover-community/bump_to_v4.16.0 Run Tests #277: Commit eed8e6f pushed by jcommelin
February 4, 2025 05:13 2m 13s stable
stable
February 4, 2025 05:13 2m 13s
Merge pull request #70 from leanprover-community/bump_to_v4.16.0 Run Tests #276: Commit eed8e6f pushed by jcommelin
February 4, 2025 05:12 2m 24s v4.16.0
v4.16.0
February 4, 2025 05:12 2m 24s
Merge pull request #70 from leanprover-community/bump_to_v4.16.0 Run Tests #275: Commit eed8e6f pushed by jcommelin
February 4, 2025 05:08 2m 16s master
master
February 4, 2025 05:08 2m 16s
chore: bump toolchain to v4.16.0 Run Tests #274: Pull request #70 synchronize by jcommelin
February 4, 2025 05:05 2m 28s bump_to_v4.16.0
bump_to_v4.16.0
February 4, 2025 05:05 2m 28s
fix test Run Tests #273: Commit 51879e1 pushed by jcommelin
February 4, 2025 05:05 2m 14s bump_to_v4.16.0
bump_to_v4.16.0
February 4, 2025 05:05 2m 14s
chore: bump toolchain to v4.16.0 Run Tests #272: Pull request #70 synchronize by jcommelin
February 4, 2025 04:52 1m 40s bump_to_v4.16.0
bump_to_v4.16.0
February 4, 2025 04:52 1m 40s
wip Run Tests #271: Commit c2681ef pushed by jcommelin
February 4, 2025 04:52 1m 40s bump_to_v4.16.0
bump_to_v4.16.0
February 4, 2025 04:52 1m 40s
chore: bump toolchain to v4.16.0 Run Tests #270: Pull request #70 opened by jcommelin
February 3, 2025 14:58 3h 19m 27s bump_to_v4.16.0
bump_to_v4.16.0
February 3, 2025 14:58 3h 19m 27s
chore: bump toolchain to v4.16.0 Run Tests #269: Commit 91f5643 pushed by jcommelin
February 3, 2025 14:58 3h 37m 11s bump_to_v4.16.0
bump_to_v4.16.0
February 3, 2025 14:58 3h 37m 11s
chore: bump to v4.16.0-rc2 (#67) Run Tests #268: Commit 4d7e572 pushed by kim-em
January 15, 2025 11:32 2m 16s v4.16.0-rc2
v4.16.0-rc2
January 15, 2025 11:32 2m 16s
chore: bump to v4.16.0-rc2 (#67) Run Tests #267: Commit 4d7e572 pushed by kim-em
January 15, 2025 11:31 2m 30s master
master
January 15, 2025 11:31 2m 30s
chore: bump to v4.16.0-rc2 Run Tests #266: Pull request #67 synchronize by kim-em
January 15, 2025 11:30 2m 25s bump_to_v4.16.0-rc2
bump_to_v4.16.0-rc2
January 15, 2025 11:30 2m 25s
fix: filter out term sorries that come from tactic sorries (#68) Run Tests #265: Commit 1e282b9 pushed by kim-em
January 15, 2025 11:30 2m 11s bump_to_v4.16.0-rc2
bump_to_v4.16.0-rc2
January 15, 2025 11:30 2m 11s
fix: filter out term sorries that come from tactic sorries Run Tests #264: Pull request #68 synchronize by llllvvuu
January 15, 2025 10:39 2m 28s llllvvuu:fix/sorry_in_sorry
llllvvuu:fix/sorry_in_sorry
January 15, 2025 10:39 2m 28s
fix: filter out term sorries that come from tactic sorries Run Tests #263: Pull request #68 synchronize by llllvvuu
January 15, 2025 10:28 1m 38s llllvvuu:fix/sorry_in_sorry
llllvvuu:fix/sorry_in_sorry
January 15, 2025 10:28 1m 38s
fix: filter out term sorries that come from tactic sorries Run Tests #262: Pull request #68 opened by llllvvuu
January 15, 2025 10:17 26s llllvvuu:fix/sorry_in_sorry
llllvvuu:fix/sorry_in_sorry
January 15, 2025 10:17 26s
chore: bump to v4.16.0-rc2 Run Tests #261: Pull request #67 synchronize by kim-em
January 14, 2025 05:30 30s bump_to_v4.16.0-rc2
bump_to_v4.16.0-rc2
January 14, 2025 05:30 30s
fix Run Tests #260: Commit b1378c9 pushed by kim-em
January 14, 2025 05:30 24s bump_to_v4.16.0-rc2
bump_to_v4.16.0-rc2
January 14, 2025 05:30 24s
chore: bump to v4.16.0-rc2 Run Tests #259: Pull request #67 opened by kim-em
January 14, 2025 04:09 18s bump_to_v4.16.0-rc2
bump_to_v4.16.0-rc2
January 14, 2025 04:09 18s
chore: bump to v4.16.0-rc2 Run Tests #258: Commit a9c19df pushed by kim-em
January 14, 2025 04:07 28s bump_to_v4.16.0-rc2
bump_to_v4.16.0-rc2
January 14, 2025 04:07 28s