All workflows

Showing runs from all workflows

2500+ workflow runs

P-037 A2.2: honest call facts for every relevant call (zero semantic cut)
completed successfully:
P-022 merge gate#22:Pull request#371synchronizebyPhysShell
claude/p037-a2.2-honest-call-facts
Sep 28, 202657s
P-037 A2.2: honest call facts for every relevant call (zero semantic cut)
completed successfully:
Owen.Cli release#101:Pull request#371synchronizebyPhysShell
claude/p037-a2.2-honest-call-facts
Sep 28, 20264m 12s
P-037 A2.2: honest call facts for every relevant call (zero semantic cut)
completed successfully:
pr-issue-validation#860:Pull request#371synchronizebyPhysShell
claude/p037-a2.2-honest-call-facts
Sep 28, 202625s
P-037 A2.2: record the owner ruling on R (record-level absence)
completed successfully:
CI#2266:Commit0ae8213pushedbyPhysShell
claude/p037-a2.2-honest-call-facts
Sep 28, 20268m 9s
coderabbit-nudge
completed successfully:
coderabbit-nudge#823:Scheduled
main
Sep 28, 202614s
coderabbit-nudge
completed successfully:
coderabbit-nudge#822:Scheduled
main
Sep 27, 20269s
P-037 A2.2: honest call facts for every relevant call (zero semantic cut)
completed successfully:
pr-issue-validation#859:Pull request#371openedbyPhysShell
claude/p037-a2.2-honest-call-facts
Sep 27, 202613s
P-037 A2.2: honest call facts for every relevant call (zero semantic cut)
completed successfully:
Owen.Cli release#100:Pull request#371openedbyPhysShell
claude/p037-a2.2-honest-call-facts
Sep 27, 20264m 49s
P-037 A2.2: honest call facts for every relevant call (zero semantic cut)
completed successfully:
CI#2265:Pull request#371openedbyPhysShell
claude/p037-a2.2-honest-call-facts
Sep 27, 202610m 13s
P-037 A2.2: honest call facts for every relevant call (zero semantic cut)
completed successfully:
P-022 merge gate#21:Pull request#371openedbyPhysShell
claude/p037-a2.2-honest-call-facts
Sep 27, 20261m 26s
P-037 A2.2: result — stop point reached, R escalated; pin the raw arg…
completed successfully:
CI#2264:Commit2fcd402pushedbyPhysShell
claude/p037-a2.2-honest-call-facts
Sep 27, 202610m 31s
test(p037): close a2d allowlist gap for the proposal doc's CH-7 edit
completed successfully:
CI#2263:Commitf1acf95pushedbyPhysShell
claude/p037-b-conditionality-honesty
Sep 27, 202611m 59s
P-037 A2.2: record the zero-semantic-cut evidence as a same-environme…
completed successfully:
CI#2262:Commitee2ee53pushedbyPhysShell
claude/p037-a2.2-honest-call-facts
Sep 27, 202610m 24s
research: election reuse gate for the plain-Rocq solver theory (#369): KEEP generic theory
completed successfully:
pr-issue-validation#858:Pull request#370openedbyPhysShell
research/plain-rocq-election-instance
Sep 27, 202619s
research: election reuse gate for the plain-Rocq solver theory (#369): KEEP generic theory
completed successfully:
CI#2261:Pull request#370openedbyPhysShell
research/plain-rocq-election-instance
Sep 27, 20269m 8s
research: election reuse gate for the plain-Rocq solver theory (#369): KEEP generic theory
completed successfully:
P-022 merge gate#20:Pull request#370openedbyPhysShell
research/plain-rocq-election-instance
Sep 27, 20261m 5s
research(plain-rocq): election reuse gate for #369 - RESULT: KEEP GEN…
completed successfully:
CI#2260:Commit4ce9521pushedbyPhysShell
research/plain-rocq-election-instance
Sep 27, 20267m 41s
research: plain-Rocq control for the MathComp spike (#367): KILL MathComp
completed successfully:
pr-issue-validation#857:Pull request#369openedbyPhysShell
research/plain-rocq-control
Sep 27, 202626s
research: plain-Rocq control for the MathComp spike (#367): KILL MathComp
completed successfully:
P-022 merge gate#19:Pull request#369openedbyPhysShell
research/plain-rocq-control
Sep 27, 202634s
research: plain-Rocq control for the MathComp spike (#367): KILL MathComp
completed successfully:
CI#2259:Pull request#369openedbyPhysShell
research/plain-rocq-control
Sep 27, 20269m 11s
research(plain-rocq): control for #367 - RESULT: KILL MATHCOMP, KEEP …
completed successfully:
CI#2258:Commit1bfd5edpushedbyPhysShell
research/plain-rocq-control
Sep 27, 20268m 34s
P-037 kernel: solve_with / lfp_chaotic returns Some(non-fixpoint) on an unfair schedule
completed successfully:
pr-issue-validation#856:Issue#368openedbyPhysShell
Sep 27, 20269s
research: MathComp applicability spike for Own.NET
completed successfully:
pr-issue-validation#855:Pull request#367openedbyPhysShell
claude/mathcomp-ownnet-spike-911fbt
Sep 27, 202615s
research: MathComp applicability spike for Own.NET
completed successfully:
P-022 merge gate#18:Pull request#367openedbyPhysShell
claude/mathcomp-ownnet-spike-911fbt
Sep 27, 202655s
research: MathComp applicability spike for Own.NET
completed successfully:
CI#2257:Pull request#367openedbyPhysShell
claude/mathcomp-ownnet-spike-911fbt
Sep 27, 20268m 54s

Navigation Menu

All workflows

2500+ workflow runs

P-037 A2.2: honest call facts for every relevant call (zero semantic cut)

P-037 A2.2: honest call facts for every relevant call (zero semantic cut)

P-037 A2.2: honest call facts for every relevant call (zero semantic cut)

P-037 A2.2: record the owner ruling on R (record-level absence)

coderabbit-nudge

coderabbit-nudge

P-037 A2.2: honest call facts for every relevant call (zero semantic cut)

P-037 A2.2: honest call facts for every relevant call (zero semantic cut)

P-037 A2.2: honest call facts for every relevant call (zero semantic cut)

P-037 A2.2: honest call facts for every relevant call (zero semantic cut)

P-037 A2.2: result — stop point reached, R escalated; pin the raw arg…

test(p037): close a2d allowlist gap for the proposal doc's CH-7 edit

P-037 A2.2: record the zero-semantic-cut evidence as a same-environme…

research: election reuse gate for the plain-Rocq solver theory (#369): KEEP generic theory

research: election reuse gate for the plain-Rocq solver theory (#369): KEEP generic theory

research: election reuse gate for the plain-Rocq solver theory (#369): KEEP generic theory

research(plain-rocq): election reuse gate for #369 - RESULT: KEEP GEN…

research: plain-Rocq control for the MathComp spike (#367): KILL MathComp

research: plain-Rocq control for the MathComp spike (#367): KILL MathComp

research: plain-Rocq control for the MathComp spike (#367): KILL MathComp

research(plain-rocq): control for #367 - RESULT: KILL MATHCOMP, KEEP …

P-037 kernel: solve_with / lfp_chaotic returns Some(non-fixpoint) on an unfair schedule

research: MathComp applicability spike for Own.NET

research: MathComp applicability spike for Own.NET

research: MathComp applicability spike for Own.NET

ProTip! You can narrow down the results and go further in time using the filter or the other filters available.

Workflow runs

2500+ workflow runs

ProTip! You can narrow down the results and go further in time using the created: filter or the other filters available.

ProTip! You can narrow down the results and go further in time using the filter or the other filters available.