Skip to content

Actions: fushanbobfan/proof-graphs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
148 workflow runs
148 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
README: search_harness.py's docstring says best-first; both of its se… proof-graphs CI #148: Commit 8785958 pushed by fushanbobfan
12m 53s main
main
12m 53s
Register extraction-audit-v0.4: a person rebuilds goal-origin graphs … proof-graphs CI #147: Commit 443463e pushed by fushanbobfan
11m 20s main
main
11m 20s
search-v0.13 abandoned-search sensitivity; exports and C54 described … proof-graphs CI #146: Commit 6b55acb pushed by fushanbobfan
13m 34s main
main
13m 34s
search-cost-v0.1 README: say how the quick and the slow searches ended proof-graphs CI #145: Commit da7e577 pushed by fushanbobfan
13m 2s main
main
13m 2s
search-cost-v0.1: run alone, the goal and group searches take a media… proof-graphs CI #144: Commit dfe7e6d pushed by fushanbobfan
10m 13s main
main
10m 13s
search-v0.13: on two new sets of draws neither the goal search's nor … proof-graphs CI #143: Commit 671b46d pushed by fushanbobfan
12m 47s main
main
12m 47s
search-v0.12: the independent-goal search proves every held-out theor… proof-graphs CI #142: Commit 0004deb pushed by fushanbobfan
11m 49s main
main
11m 49s
orderings-replay-v0.2 README and HANDOFF: every ordering tried replays proof-graphs CI #141: Commit f5fa026 pushed by fushanbobfan
12m 43s main
main
12m 43s
READMEs: eight conflation theorems, replayed orderings as a sample, h… proof-graphs CI #140: Commit 547ff46 pushed by fushanbobfan
12m 41s main
main
12m 41s
CI: install psutil, which search-cost-v0.1's runner and tests import proof-graphs CI #139: Commit 9081bb2 pushed by fushanbobfan
11m 23s main
main
11m 23s
Register search-cost-v0.1: what each search costs, run alone with its… proof-graphs CI #138: Commit a43f3ce pushed by fushanbobfan
8m 12s main
main
8m 12s
Register search-v0.13: two new sets of draws for the three searches o… proof-graphs CI #137: Commit 431a2ca pushed by fushanbobfan
11m 29s main
main
11m 29s
Register search-v0.12: the independent-goal search on search-v0.11's … proof-graphs CI #136: Commit 12073d4 pushed by fushanbobfan
9m 57s main
main
9m 57s
search-v0.11 and v0.10 READMEs: attempt flow, modules, candidate key,… proof-graphs CI #135: Commit 660f2e7 pushed by fushanbobfan
13m 7s main
main
13m 7s
design notes: the held-out gain does not pass through coupled groups proof-graphs CI #134: Commit 431771f pushed by fushanbobfan
11m 11s main
main
11m 11s
search-v0.11 readings: groups of several goals, and whether the decid… proof-graphs CI #133: Commit df0fd6e pushed by fushanbobfan
13m 10s main
main
13m 10s
search-v0.11: results, README, and exploratory readings proof-graphs CI #132: Commit 49228ff pushed by fushanbobfan
13m 6s main
main
13m 6s
HANDOFF: search-v0.10 and its amendment proof-graphs CI #131: Commit 19e67e9 pushed by fushanbobfan
13m 11s main
main
13m 11s
search-v0.10 README: outcome, amendment 1, and the interpretation bou… proof-graphs CI #130: Commit de90d92 pushed by fushanbobfan
12m 36s main
main
12m 36s
search-v0.10 amendment 1: the four units repeated proof-graphs CI #129: Commit f6291fd pushed by fushanbobfan
12m 48s main
main
12m 48s
search-v0.10 amendment 1 runner: record a unit only while the prover … proof-graphs CI #128: Commit 6133c13 pushed by fushanbobfan
11m 1s main
main
11m 1s
search-v0.10 amendment 1, before its rerun: repeat the four units who… proof-graphs CI #127: Commit 0fa8bf5 pushed by fushanbobfan
12m 39s main
main
12m 39s
Cost curves: add search-v0.10 proof-graphs CI #126: Commit 05cdf1b pushed by fushanbobfan
10m 49s main
main
10m 49s
Register search-v0.11: whole states against coupled groups on 720 hel… proof-graphs CI #125: Commit 799437a pushed by fushanbobfan
10m 43s main
main
10m 43s
search-v0.10 lost sessions: the best case changes H103 proof-graphs CI #124: Commit 24ab5e6 pushed by fushanbobfan
10m 30s main
main
10m 30s