Skip to content

Actions: JOSHCLUNE/LeanHammer

Actions

ci

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
147 workflow runs
147 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Update lakefile.toml to depend on Monomorphization.saturate_refactor … ci #149: Commit ea13739 pushed by JOSHCLUNE
1s dev
dev
1s
Enforce soft ordering invariant on premises sent to Lean-auto ci #148: Commit 0b40898 pushed by JOSHCLUNE
11s dev
dev
11s
Minor refactor of runAesopWithSubprocedures ci #147: Commit 691a1a9 pushed by JOSHCLUNE
1s dev
dev
1s
Split duperPremises option into duperPremisesShort and duperPremisesLong ci #146: Commit c745fe6 pushed by JOSHCLUNE
10s dev
dev
10s
Split solverTimeout into solverShortTimeout and solverLongTimeout ci #145: Commit e8cf8f9 pushed by JOSHCLUNE
10s dev
dev
10s
Modify how runAesopWithSubProcedures sends arguments to subprocedures ci #144: Commit efc4407 pushed by JOSHCLUNE
1s dev
dev
1s
Merge pull request #55 from JOSHCLUNE/dev ci #143: Commit f6d189d pushed by JOSHCLUNE
7s main
main
7s
Wrap autoPremisesEligible in try-catch ci #142: Pull request #55 opened by JOSHCLUNE
1s dev
dev
1s
Wrap autoPremisesEligible in try-catch ci #141: Commit d26d110 pushed by JOSHCLUNE
6s dev
dev
6s
Merge pull request #54 from JOSHCLUNE/dev ci #140: Commit 4ea7423 pushed by JOSHCLUNE
12m 48s v4.33.0
v4.33.0
12m 48s
Merge pull request #54 from JOSHCLUNE/dev ci #139: Commit 4ea7423 pushed by JOSHCLUNE
1s main
main
1s
Update to v4.33.0 ci #138: Pull request #54 opened by JOSHCLUNE
1s dev
dev
1s
Update to v4.33.0 ci #137: Commit 9e84c16 pushed by JOSHCLUNE
1s dev
dev
1s
Merge pull request #53 from JOSHCLUNE/dev ci #136: Commit a841fde pushed by JOSHCLUNE
1s main
main
1s
Dev ci #135: Pull request #53 opened by JOSHCLUNE
10s dev
dev
10s
Lower default wallclock timeout from 10s to 5s ci #134: Commit c24da67 pushed by JOSHCLUNE
1s dev
dev
1s
Ensure that config.solverTimeout is enforced when LeanHammer calls Le… ci #133: Commit a5b550a pushed by JOSHCLUNE
In progress dev
dev
In progress
Merge pull request #52 from JOSHCLUNE/dev ci #132: Commit 9de9382 pushed by JOSHCLUNE
10s main
main
10s
Make sure tryAllTacsOnGoal cancellation token is always set ci #131: Pull request #52 opened by JOSHCLUNE
2s dev
dev
2s
Make sure tryAllTacsOnGoal cancellation token is always set ci #130: Commit 3ef1ecd pushed by JOSHCLUNE
Skipped dev
dev
Skipped
runAesopWithSubprocedures bug fix ci #129: Pull request #51 opened by JOSHCLUNE
2s dev
dev
2s
Merge pull request #51 from JOSHCLUNE/dev ci #128: Commit 850695d pushed by JOSHCLUNE
10s main
main
10s
runAesopWithSubprocedures bug fix ci #127: Commit dc81e16 pushed by JOSHCLUNE
1s dev
dev
1s
Merge pull request #50 from JOSHCLUNE/dev ci #126: Commit c6c19c2 pushed by JOSHCLUNE
1s main
main
1s
Update Duper ci #125: Pull request #50 opened by JOSHCLUNE
1s dev
dev
1s