Skip to content

Actions: JOSHCLUNE/LeanHammer

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
313 workflow runs
313 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
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
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 Lean Action CI #244: Commit 4ea7423 pushed by JOSHCLUNE
41s v4.33.0
v4.33.0
41s
Merge pull request #54 from JOSHCLUNE/dev ci #139: Commit 4ea7423 pushed by JOSHCLUNE
1s main
main
1s
Merge pull request #54 from JOSHCLUNE/dev Lean Action CI #243: Commit 4ea7423 pushed by JOSHCLUNE
5m 51s main
main
5m 51s
Update to v4.33.0 ci #138: Pull request #54 opened by JOSHCLUNE
1s dev
dev
1s
Update to v4.33.0 Lean Action CI #242: Pull request #54 opened by JOSHCLUNE
5m 1s dev
dev
5m 1s
Update to v4.33.0 Lean Action CI #241: Commit 9e84c16 pushed by JOSHCLUNE
4m 7s dev
dev
4m 7s