Skip to content

Actions: samth/waterfall

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
81 workflow runs
81 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
Merge pull request #6 from samth/feat/evidence-first-induction Check waterfall #81: Commit 12be67f pushed by samth
2m 50s main
main
2m 50s
Merge pull request #5 from samth/feat/relevant-premises Check waterfall #80: Commit 7d6e9f0 pushed by samth
3m 21s main
main
3m 21s
Prefer relevant evidence induction in search Check waterfall #79: Pull request #6 opened by samth
3m 0s feat/evidence-first-induction
feat/evidence-first-induction
3m 0s
Prefer relevant evidence induction in search ordering Check waterfall #78: Commit d892bf9 pushed by samth
2m 43s feat/evidence-first-induction
feat/evidence-first-induction
2m 43s
Instrument ordinary corpus calls and expose evidence-order experiment Check waterfall #77: Commit bbd1314 pushed by samth
2m 35s experiment/penn-search
experiment/penn-search
2m 35s
Offer relevant earlier theorems to the simp closer on request Check waterfall #76: Pull request #5 synchronize by samth
2m 43s feat/relevant-premises
feat/relevant-premises
2m 43s
Honor premise limits and allow cross-root imported helpers Check waterfall #75: Commit 8f521a3 pushed by samth
2m 47s feat/relevant-premises
feat/relevant-premises
2m 47s
Offer relevant earlier theorems to the simp closer on request Check waterfall #74: Pull request #5 synchronize by samth
2m 24s feat/relevant-premises
feat/relevant-premises
2m 24s
Offer private and imported project theorems to the simp closer Check waterfall #73: Commit d015dd5 pushed by samth
2m 39s feat/relevant-premises
feat/relevant-premises
2m 39s
Offer relevant earlier theorems to the simp closer on request Check waterfall #72: Pull request #5 synchronize by samth
2m 47s feat/relevant-premises
feat/relevant-premises
2m 47s
Offer relevant earlier theorems to the simp closer on request Check waterfall #71: Commit 8086fd2 pushed by samth
3m 32s feat/relevant-premises
feat/relevant-premises
3m 32s
Offer relevant earlier theorems to the simp closer on request Check waterfall #70: Pull request #5 opened by samth
2m 37s feat/relevant-premises
feat/relevant-premises
2m 37s
Retry an exhausted search with relevant earlier theorems Check waterfall #69: Commit 9218b22 pushed by samth
2m 44s feat/relevant-premises
feat/relevant-premises
2m 44s
Update SF results from matched 0.2.0 run Check waterfall #68: Commit 57c142d pushed by samth
2m 35s main
main
2m 35s
Restore 0.1.0 website while remeasuring SF results Check waterfall #67: Commit 13fa2e8 pushed by samth
2m 52s main
main
2m 52s
Update committed SF results Check waterfall #66: Commit 285cf26 pushed by samth
2m 37s main
main
2m 37s
Restore Software Foundations results table Check waterfall #65: Commit f99a397 pushed by samth
2m 14s main
main
2m 14s
Update benchmark measurement to Waterfall 0.2.0 Check waterfall #64: Commit 5e37817 pushed by samth
2m 37s main
main
2m 37s
Prepare waterfall 0.2.0 release and clarify benchmark provenance Check waterfall #63: Commit f3c5ca3 pushed by samth
2m 34s v0.2.0
v0.2.0
2m 34s
Prepare waterfall 0.2.0 release and clarify benchmark provenance Check waterfall #62: Commit f3c5ca3 pushed by samth
2m 43s main
main
2m 43s
Merge pull request #3: dependency-aware result abstraction Check waterfall #61: Commit fed3a39 pushed by samth
2m 53s main
main
2m 53s
Coordinate recursive proofs within the existing search budget Check waterfall #60: Pull request #4 opened by samth
3m 2s feat/bounded-coordination
feat/bounded-coordination
3m 2s
Coordinate recursive proofs in a bounded final search trial Check waterfall #59: Commit 06c7e8a pushed by samth
2m 48s feat/bounded-coordination
feat/bounded-coordination
2m 48s
Make result-abstraction dependency analysis motive-aware Check waterfall #58: Pull request #3 opened by samth
2m 29s fix/generalization-dependencies
fix/generalization-dependencies
2m 29s
Plan independent result abstraction using instantiated dependencies Check waterfall #57: Commit 9d219cb pushed by samth
2m 59s fix/generalization-dependencies
fix/generalization-dependencies
2m 59s