Skip to content

Actions: leanprover-community/repl

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
237 workflow runs
237 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
chore: bump to v4.15.0 (#65) Run Tests #257: Commit 2196679 pushed by kim-em
January 14, 2025 01:40 2m 16s stable
stable
January 14, 2025 01:40 2m 16s
Add proof validation to tactic mode Run Tests #256: Pull request #63 synchronize by augustepoiroux
January 8, 2025 08:44 Action required augustepoiroux:proof_validation
augustepoiroux:proof_validation
January 8, 2025 08:44 Action required
chore: bump to v4.15.0 (#65) Run Tests #255: Commit 2196679 pushed by kim-em
January 8, 2025 05:49 2m 9s v4.15.0
v4.15.0
January 8, 2025 05:49 2m 9s
chore: bump to v4.15.0 (#65) Run Tests #254: Commit 2196679 pushed by kim-em
January 8, 2025 05:49 2m 11s master
master
January 8, 2025 05:49 2m 11s
chore: bump to v4.15.0-rc1 (#61) Run Tests #253: Commit 008cfbc pushed by kim-em
January 8, 2025 05:46 2m 9s v4.15.0-rc1
v4.15.0-rc1
January 8, 2025 05:46 2m 9s
chore: bump to v4.15.0 Run Tests #252: Pull request #65 opened by kim-em
January 8, 2025 05:46 2m 9s bump_to_v4.15.0
bump_to_v4.15.0
January 8, 2025 05:46 2m 9s
chore: bump to v4.15.0 Run Tests #251: Commit b5784ee pushed by kim-em
January 8, 2025 05:46 2m 9s bump_to_v4.15.0
bump_to_v4.15.0
January 8, 2025 05:46 2m 9s
chore: bump to v4.15.0-rc1 (#61) Run Tests #250: Commit 008cfbc pushed by kim-em
January 8, 2025 05:43 2m 20s master
master
January 8, 2025 05:43 2m 20s
chore: bump to v4.15.0-rc1 Run Tests #249: Pull request #61 synchronize by kim-em
January 8, 2025 05:40 2m 19s bump_to_v4.15.0-rc1
bump_to_v4.15.0-rc1
January 8, 2025 05:40 2m 19s
fix: workaround for Meta.Context.config private (#64) Run Tests #248: Commit ad380d5 pushed by kim-em
January 8, 2025 05:40 2m 20s bump_to_v4.15.0-rc1
bump_to_v4.15.0-rc1
January 8, 2025 05:40 2m 20s
fix: workaround for Meta.Context.config private Run Tests #247: Pull request #64 opened by llllvvuu
January 8, 2025 04:27 2m 30s llllvvuu:fix/meta_context_config_priv
llllvvuu:fix/meta_context_config_priv
January 8, 2025 04:27 2m 30s
chore: bump to v4.15.0-rc1 Run Tests #246: Pull request #61 synchronize by bryangingechen
January 8, 2025 02:10 19s bump_to_v4.15.0-rc1
bump_to_v4.15.0-rc1
January 8, 2025 02:10 19s
fix InfoTree.lean (cf. https://github.com/leanprover/lean4/pull/5835) Run Tests #245: Commit ddca959 pushed by bryangingechen
January 8, 2025 02:10 20s bump_to_v4.15.0-rc1
bump_to_v4.15.0-rc1
January 8, 2025 02:10 20s
Add proof validation to tactic mode Run Tests #244: Pull request #63 opened by augustepoiroux
January 3, 2025 11:49 Action required augustepoiroux:proof_validation
augustepoiroux:proof_validation
January 3, 2025 11:49 Action required