Skip to content

Actions: inventor1975/ZTL

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,198 workflow runs
1,198 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
Equal to classical logic in strength: the wrong comparison removed regression #649: Commit b1ea6d6 pushed by inventor1975
14m 43s master
master
14m 43s
The catalogue's equations, pinned: test_catalogue_equations regression #648: Commit 25595f3 pushed by inventor1975
12m 53s master
master
12m 53s
Draft 2.1.0 §15: the judge's four readings, the solver's commitments,… regression #647: Commit 6efd763 pushed by inventor1975
11m 39s master
master
11m 39s
Lean: ZParabola — a negative discriminant leaves no root (14 theorems… regression #646: Commit 7fdfb01 pushed by inventor1975
14m 50s master
master
14m 50s
Lean: ZParabola — a negative discriminant leaves no root (14 theorems… lean #173: Commit 7fdfb01 pushed by inventor1975
42s master
master
42s
znumsolve: an unknown is the question, not a source — provenance over… regression #645: Commit 42b607a pushed by inventor1975
14m 35s master
master
14m 35s
znumsolve: the solver uses only the comparisons the claim commits to regression #644: Commit b98ebe7 pushed by inventor1975
13m 41s master
master
13m 41s
znumsolve: systems with each power of a name its own column — the plo… regression #643: Commit c83ee54 pushed by inventor1975
12m 12s master
master
12m 12s
znum: a name that multiplies itself is one number — parabolas read ex… regression #642: Commit 4185023 pushed by inventor1975
10m 2s master
master
10m 2s
Lean: ZNumNames — a name is one number across the whole claim (17 the… lean #172: Commit 9813d2a pushed by inventor1975
44s master
master
44s
Lean: ZNumNames — a name is one number across the whole claim (17 the… regression #641: Commit 9813d2a pushed by inventor1975
13m 31s master
master
13m 31s
Numeric floor: a name is one number across the whole claim; 1/inf is … lean #171: Commit aa0eaf4 pushed by inventor1975
47s master
master
47s
Numeric floor: a name is one number across the whole claim; 1/inf is … regression #640: Commit aa0eaf4 pushed by inventor1975
14m 30s master
master
14m 30s
Revert ff8a852: identity is not granted on credit across a comparison regression #639: Commit d3c4efd pushed by inventor1975
14m 28s master
master
14m 28s
Revert ff8a852: identity is not granted on credit across a comparison lean #170: Commit d3c4efd pushed by inventor1975
47s master
master
47s
Numeric floor: read the two sides of a comparison together regression #638: Commit ff8a852 pushed by inventor1975
13m 15s master
master
13m 15s
Numeric floor: read the two sides of a comparison together lean #169: Commit ff8a852 pushed by inventor1975
45s master
master
45s
ONBOARDING: open CLASSIC-VS-ZTL.md before any comparison with classic… regression #637: Commit 78c6110 pushed by inventor1975
13m 34s master
master
13m 34s
A public service cannot be made to raise or to stall regression #636: Commit cc6cc28 pushed by inventor1975
14m 43s master
master
14m 43s
What to check: also the set that settles the matter either way regression #635: Commit 9056479 pushed by inventor1975
14m 17s master
master
14m 17s
What to check: also the set that settles the matter either way lean #168: Commit 9056479 pushed by inventor1975
41s master
master
41s
Square root reaches the readers; number claims' receipts carry their … regression #634: Commit 1dc81f6 pushed by inventor1975
11m 16s master
master
11m 16s
сторож на СОБЛАЗН: срезание неважных меток лжёт, и лжёт в лестную сто… regression #633: Commit 383ffb4 pushed by inventor1975
14m 54s master
master
14m 54s
ztljudge: бюджет живёт во ВХОДЕ, а не в обход него regression #632: Commit 9a15519 pushed by inventor1975
10m 52s master
master
10m 52s
<-> читается: три разборщика сведены к одному написанию regression #631: Commit 9fde0fd pushed by inventor1975
11m 42s master
master
11m 42s