Skip to content

Actions: JOSHCLUNE/LeanHammer

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
237 workflow runs
237 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 lean-auto; Temporarily move code into Hammer/AutoExtension.lean Lean Action CI #173: Commit 397fc53 pushed by JOSHCLUNE
7m 54s dev
dev
7m 54s
Update lean-auto; Temporarily move code into Hammer/AutoExtension.lean ci #69: Commit 397fc53 pushed by JOSHCLUNE
1s dev
dev
1s
Enable parallelism and grind by default; update README accordingly ci #68: Commit 52df0c5 pushed by JOSHCLUNE
2s dev
dev
2s
Enable parallelism and grind by default; update README accordingly Lean Action CI #172: Commit 52df0c5 pushed by JOSHCLUNE
44s dev
dev
44s
Add a wallclock timeout ci #67: Commit 4c4e2db pushed by JOSHCLUNE
1s dev
dev
1s
Add a wallclock timeout Lean Action CI #171: Commit 4c4e2db pushed by JOSHCLUNE
48s dev
dev
48s
Renaming autoPremiseEligibleAux Lean Action CI #170: Commit 7d775f3 pushed by JOSHCLUNE
47s dev
dev
47s
Renaming autoPremiseEligibleAux ci #66: Commit 7d775f3 pushed by JOSHCLUNE
1s dev
dev
1s
Finalizing autoPremiseEligible ci #65: Commit 7298343 pushed by JOSHCLUNE
1s dev
dev
1s
Finalizing autoPremiseEligible Lean Action CI #169: Commit 7298343 pushed by JOSHCLUNE
33s dev
dev
33s
autoPremiseEligible bug fix Lean Action CI #168: Commit 03c6cda pushed by JOSHCLUNE
36s dev
dev
36s
autoPremiseEligible bug fix ci #64: Commit 03c6cda pushed by JOSHCLUNE
2s dev
dev
2s
autoPremiseTypeEligible bug fix Lean Action CI #167: Commit 23aa07b pushed by JOSHCLUNE
1m 8s dev
dev
1m 8s
autoPremiseTypeEligible bug fix ci #63: Commit 23aa07b pushed by JOSHCLUNE
1s dev
dev
1s
Adding autoPremiseEligible as a conservative filter for premises to b… Lean Action CI #166: Commit dc691ba pushed by JOSHCLUNE
41s dev
dev
41s
Adding autoPremiseEligible as a conservative filter for premises to b… ci #62: Commit dc691ba pushed by JOSHCLUNE
1s dev
dev
1s
Modified runHammer logic to account for grind's inclusion Lean Action CI #165: Commit 1b3407a pushed by JOSHCLUNE
43s dev
dev
43s
Modified runHammer logic to account for grind's inclusion ci #61: Commit 1b3407a pushed by JOSHCLUNE
1s dev
dev
1s
Incorporate grind into the Aesop with subprocedures call Lean Action CI #164: Commit 4b7cb13 pushed by JOSHCLUNE
49s dev
dev
49s
Incorporate grind into the Aesop with subprocedures call ci #60: Commit 4b7cb13 pushed by JOSHCLUNE
1s dev
dev
1s
Rename aesopGrindPriority in options ci #59: Commit 5b6701d pushed by JOSHCLUNE
Skipped dev
dev
Skipped
Rename aesopGrindPriority in options Lean Action CI #163: Commit 5b6701d pushed by JOSHCLUNE
43s dev
dev
43s
Filter premises before passing them on to grind ci #58: Commit 106de33 pushed by JOSHCLUNE
1s dev
dev
1s
Filter premises before passing them on to grind Lean Action CI #162: Commit 106de33 pushed by JOSHCLUNE
34s dev
dev
34s
Adding options to begin to incorporate grind ci #57: Commit 1462844 pushed by JOSHCLUNE
2s dev
dev
2s