Skip to content

Actions: JOSHCLUNE/LeanHammer

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
321 workflow runs
321 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
Set auto.mono.saturationThreshold to 2048 Lean Action CI #257: Commit 90b89fb pushed by JOSHCLUNE
6m 10s dev
dev
6m 10s
Set auto.mono.saturationThreshold to 2048 ci #153: Commit 90b89fb pushed by JOSHCLUNE
2s dev
dev
2s
Merge pull request #56 from JOSHCLUNE/dev Lean Action CI #256: Commit 21886b7 pushed by JOSHCLUNE
9m 30s main
main
9m 30s
Merge pull request #56 from JOSHCLUNE/dev ci #152: Commit 21886b7 pushed by JOSHCLUNE
10s main
main
10s
Dev ci #151: Pull request #56 opened by JOSHCLUNE
1s dev
dev
1s
Dev Lean Action CI #255: Pull request #56 opened by JOSHCLUNE
9m 21s dev
dev
9m 21s
Update Duper/Lean-SMT ci #150: Commit d44c0eb pushed by JOSHCLUNE
1s dev
dev
1s
Update Duper/Lean-SMT Lean Action CI #254: Commit d44c0eb pushed by JOSHCLUNE
9m 16s dev
dev
9m 16s
Update lakefile.toml to depend on Monomorphization.saturate_refactor … ci #149: Commit ea13739 pushed by JOSHCLUNE
1s dev
dev
1s
Update lakefile.toml to depend on Monomorphization.saturate_refactor … Lean Action CI #253: Commit ea13739 pushed by JOSHCLUNE
5m 58s dev
dev
5m 58s
Enforce soft ordering invariant on premises sent to Lean-auto ci #148: Commit 0b40898 pushed by JOSHCLUNE
11s dev
dev
11s
Enforce soft ordering invariant on premises sent to Lean-auto Lean Action CI #252: Commit 0b40898 pushed by JOSHCLUNE
4m 28s dev
dev
4m 28s
Minor refactor of runAesopWithSubprocedures ci #147: Commit 691a1a9 pushed by JOSHCLUNE
1s dev
dev
1s
Minor refactor of runAesopWithSubprocedures Lean Action CI #251: Commit 691a1a9 pushed by JOSHCLUNE
43s dev
dev
43s
Split duperPremises option into duperPremisesShort and duperPremisesLong ci #146: Commit c745fe6 pushed by JOSHCLUNE
10s dev
dev
10s
Split duperPremises option into duperPremisesShort and duperPremisesLong Lean Action CI #250: Commit c745fe6 pushed by JOSHCLUNE
59s dev
dev
59s
Split solverTimeout into solverShortTimeout and solverLongTimeout ci #145: Commit e8cf8f9 pushed by JOSHCLUNE
10s dev
dev
10s
Split solverTimeout into solverShortTimeout and solverLongTimeout Lean Action CI #249: Commit e8cf8f9 pushed by JOSHCLUNE
58s dev
dev
58s
Modify how runAesopWithSubProcedures sends arguments to subprocedures Lean Action CI #248: Commit efc4407 pushed by JOSHCLUNE
52s dev
dev
52s
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
Merge pull request #55 from JOSHCLUNE/dev Lean Action CI #247: Commit f6d189d pushed by JOSHCLUNE
47s main
main
47s
Wrap autoPremisesEligible in try-catch ci #142: Pull request #55 opened by JOSHCLUNE
1s dev
dev
1s
Wrap autoPremisesEligible in try-catch Lean Action CI #246: Pull request #55 opened by JOSHCLUNE
52s dev
dev
52s
Wrap autoPremisesEligible in try-catch Lean Action CI #245: Commit d26d110 pushed by JOSHCLUNE
46s dev
dev
46s