All workflows

Showing runs from all workflows

2500+ workflow runs

coderabbit-nudge
completed successfully:
coderabbit-nudge#324:Scheduled
main
Aug 10, 20266s
feat(verdicts): project Layer 2 back into the analysis AST
failed:
CI#1771:Commitd8d32fbpushedbyPhysShell
claude/own259-cp4-analysis-wiring
Aug 10, 20265m 4s
feat(verdicts): project Layer 2 back into the analysis AST
failed:
CI#1770:Commitd8d32fbpushedbyPhysShell
claude/own-verdicts-bootstrap-4uxn6s
Aug 10, 20266m 31s
feat(verdicts): bootstrap own-verdicts as the composition crate
failed:
CI#1769:Commit4763a3bpushedbyPhysShell
claude/own259-cp4-analysis-wiring
Aug 10, 20266m 19s
test(ownir): close the effects channel with a composition witness
completed successfully:
CI#1768:Commitb66b10dpushedbyPhysShell
claude/own259-cp4-analysis-wiring
Aug 10, 20266m 47s
Merge pull request #329 from PhysShell/claude/dotnet-optimization-exp…
completed successfully:
CI#1767:Commitf3d3e86pushedbyPhysShell
main
Aug 10, 20267m 20s
coderabbit-nudge
completed successfully:
coderabbit-nudge#323:Scheduled
main
Aug 10, 20266s
test(ir): sort through the production sorter, and prove evidence in i…
completed successfully:
CI#1766:Commit51c30e8pushedbyPhysShell
claude/own259-cp4-analysis-wiring
Aug 10, 20266m 29s
test(ir): close the two acceptance gaps review found in a689326
completed successfully:
CI#1765:Commitc39f5c6pushedbyPhysShell
claude/own259-cp4-analysis-wiring
Aug 10, 20266m 45s
coderabbit-nudge
completed successfully:
coderabbit-nudge#322:Scheduled
main
Aug 10, 20266s
docs(P-012): record loop-invariant-call mining packet as a research seed
completed successfully:
pr-issue-validation#571:Pull request#329editedbyPhysShell
claude/dotnet-optimization-experiments-6147se
Aug 10, 202611s
docs(P-012): record loop-invariant-call mining packet as a research seed
completed successfully:
pr-issue-validation#570:Pull request#329synchronizebyPhysShell
claude/dotnet-optimization-experiments-6147se
Aug 10, 202621s
docs(P-012): record loop-invariant-call mining packet as a research seed
completed successfully:
CI#1764:Pull request#329synchronizebyPhysShell
claude/dotnet-optimization-experiments-6147se
Aug 10, 20268m 7s
docs(P-012): address review — make the mining schema unambiguous
completed successfully:
CI#1763:Commit173db50pushedbyPhysShell
claude/dotnet-optimization-experiments-6147se
Aug 10, 20266m 43s
test(ir): demonstrate the SourceLine representation, in four groups
completed successfully:
CI#1762:Commita689326pushedbyPhysShell
claude/own259-cp4-analysis-wiring
Aug 10, 20266m 7s
docs(P-012): record loop-invariant-call mining packet as a research seed
completed successfully:
pr-issue-validation#569:Pull request#329editedbycoderabbitai[bot]Bot
claude/dotnet-optimization-experiments-6147se
Aug 10, 202613s
docs(P-012): record loop-invariant-call mining packet as a research seed
completed successfully:
CI#1761:Pull request#329openedbyPhysShell
claude/dotnet-optimization-experiments-6147se
Aug 10, 20266m 35s
docs(P-012): record loop-invariant-call mining packet as a research seed
completed successfully:
pr-issue-validation#568:Pull request#329openedbyPhysShell
claude/dotnet-optimization-experiments-6147se
Aug 10, 202618s
feat(ir): carry source lines as a signed SourceLine across the verdic…
completed successfully:
CI#1760:Commitac5746cpushedbyPhysShell
claude/own259-cp4-analysis-wiring
Aug 10, 20266m 24s
docs(P-022): add the secondary and identity coordinate carriers
completed successfully:
CI#1759:Commit48e639dpushedbyPhysShell
claude/own259-cp4-analysis-wiring
Aug 10, 20266m 38s
docs(P-012): record the loop-invariant-call mining packet as a resear…
completed successfully:
CI#1758:Commitd84adf5pushedbyPhysShell
claude/dotnet-optimization-experiments-6147se
Aug 10, 20266m 33s
coderabbit-nudge
completed successfully:
coderabbit-nudge#321:Scheduled
main
Aug 10, 20267s
coderabbit-nudge
completed successfully:
coderabbit-nudge#320:Scheduled
main
Aug 10, 202613s
docs(P-022): inventory the coordinate surfaces before choosing a repr…
completed successfully:
CI#1757:Commit57ea57epushedbyPhysShell
claude/own259-cp4-analysis-wiring
Aug 10, 20266m 38s
coderabbit-nudge
completed successfully:
coderabbit-nudge#319:Scheduled
main
Aug 10, 20267s

Navigation Menu

All workflows

2500+ workflow runs

coderabbit-nudge

feat(verdicts): project Layer 2 back into the analysis AST

feat(verdicts): project Layer 2 back into the analysis AST

feat(verdicts): bootstrap own-verdicts as the composition crate

test(ownir): close the effects channel with a composition witness

Merge pull request #329 from PhysShell/claude/dotnet-optimization-exp…

coderabbit-nudge

test(ir): sort through the production sorter, and prove evidence in i…

test(ir): close the two acceptance gaps review found in a689326

coderabbit-nudge

docs(P-012): record loop-invariant-call mining packet as a research seed

docs(P-012): record loop-invariant-call mining packet as a research seed

docs(P-012): record loop-invariant-call mining packet as a research seed

docs(P-012): address review — make the mining schema unambiguous

test(ir): demonstrate the SourceLine representation, in four groups

docs(P-012): record loop-invariant-call mining packet as a research seed

docs(P-012): record loop-invariant-call mining packet as a research seed

docs(P-012): record loop-invariant-call mining packet as a research seed

feat(ir): carry source lines as a signed SourceLine across the verdic…

docs(P-022): add the secondary and identity coordinate carriers

docs(P-012): record the loop-invariant-call mining packet as a resear…

coderabbit-nudge

coderabbit-nudge

docs(P-022): inventory the coordinate surfaces before choosing a repr…

coderabbit-nudge

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.