Skip to content

Actions: dp-web4/web4

Actions

ci

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
307 workflow runs
307 workflow runs

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
audit(C400): society-specification 10th delta — a carry row spent a pass holding its sibling's predicate, so none of its three arms had been executed ci #307: Pull request #721 opened by dp-web4
2m 50s worker/web4-20260816-000000
worker/web4-20260816-000000
2m 50s
audit(C396): presence-protocol 10th delta — the §7-bound directory te… ci #306: Commit 2e69fc0 pushed by dp-web4
2m 47s main
main
2m 47s
audit(C396): presence-protocol 10th delta — the §7-bound directory tells implementers the vectors bind every tool's output; they bind six of eight, and the two they miss are the credential pair ci #305: Pull request #720 opened by dp-web4
2m 51s worker/web4-20260815-180000
worker/web4-20260815-180000
2m 51s
audit(C394): acp-framework 10th delta — a routed finding fell out of … ci #304: Commit fa8df9e pushed by dp-web4
2m 44s main
main
2m 44s
audit(C394): acp-framework 10th delta — a routed finding fell out of the ledger because each pass re-derives §A from its predecessor's table ci #303: Pull request #719 synchronize by dp-web4
2m 48s worker/web4-20260815-060000
worker/web4-20260815-060000
2m 48s
audit(C394): acp-framework 10th delta — a routed finding fell out of the ledger because each pass re-derives §A from its predecessor's table ci #302: Pull request #719 opened by dp-web4
2m 23s worker/web4-20260815-060000
worker/web4-20260815-060000
2m 23s
audit(C392): reputation-computation 10th delta — a normative trigger … ci #301: Commit 0f4ebd9 pushed by dp-web4
2m 26s main
main
2m 26s
audit(C392): reputation-computation 10th delta — a normative trigger condition is defined over an output key no schema defines, and the second key for the same concept was written in by this lineage's own remediation ci #300: Pull request #718 opened by dp-web4
2m 46s worker/web4-20260815-000000
worker/web4-20260815-000000
2m 46s
audit(C390): t3-v3-tensors 10th delta — this lineage printed the defe… ci #299: Commit b20d5aa pushed by dp-web4
2m 56s main
main
2m 56s
audit(C390): t3-v3-tensors 10th delta — this lineage printed the defect in its own baseline evidence, charged the row beside it, and built a gate whose domain cannot reach the one it left ci #298: Pull request #717 opened by dp-web4
2m 59s worker/web4-20260814-180000
worker/web4-20260814-180000
2m 59s
audit(C388): multi-device-lct-binding 8th delta — the standard's trus… ci #297: Commit a68adb9 pushed by dp-web4
2m 49s main
main
2m 49s
audit(C388): multi-device-lct-binding 8th delta — the standard's trust ceiling rises when a weaker device is enrolled, and the two arms that do it are the two no test in the SDK can see ci #296: Pull request #716 opened by dp-web4
2m 55s worker/web4-20260814-120000
worker/web4-20260814-120000
2m 55s
audit(C386): atp-adp 9th delta — the conservation invariant is publis… ci #295: Commit cd39cfa pushed by dp-web4
3m 21s main
main
3m 21s
docs(hub): PRD — role-scope bridge (hub side): work scope delegated to roles, enforced by hestia ci #294: Pull request #715 opened by dp-web4
3m 0s role-scope-bridge-prd
role-scope-bridge-prd
3m 0s
audit(C386): atp-adp 9th delta — the conservation invariant is published in a form that is false under the corpus's own reading and vacuous under the only reading that saves it ci #293: Pull request #714 opened by dp-web4
2m 46s worker/web4-20260814-060000
worker/web4-20260814-060000
2m 46s
audit(C384): mcp 9th delta — a canonical-terminology sweep asserted a… ci #292: Commit 294cf28 pushed by dp-web4
1m 53s main
main
1m 53s
audit(C384): mcp 9th delta — a canonical-terminology sweep asserted a correction it did not complete, and the one site its own mitigation misses is the only live one ci #291: Pull request #713 opened by dp-web4
2m 20s worker/web4-20260814-000000
worker/web4-20260814-000000
2m 20s
audit(C382): web4-lct 9th delta — the outward submission publishes an… ci #290: Commit 7be587d pushed by dp-web4
2m 38s main
main
2m 38s
audit(C382): web4-lct 9th delta — the outward submission publishes an LCT structure that contradicts the standard it is submitting ci #289: Pull request #712 opened by dp-web4
2m 26s worker/web4-20260813-180000
worker/web4-20260813-180000
2m 26s
audit(C378): registries 9th delta — the pre-registered B-D1 trigger f… ci #288: Commit 458d8f0 pushed by dp-web4
2m 49s main
main
2m 49s
hub F0.3 (R7c): deploy ratification — currency is not ratification (#… ci #287: Commit 5513af9 pushed by dp-web4
2m 9s main
main
2m 9s
hub F0.3 (R7c): deploy ratification — currency is not ratification ci #286: Pull request #708 synchronize by dp-web4
2m 58s hub/f0.3-ratified-digest-v2
hub/f0.3-ratified-digest-v2
2m 58s
audit(C378): registries 9th delta — the pre-registered B-D1 trigger fired, and the firing is what proves the trigger cannot answer B-D1 ci #285: Pull request #710 opened by dp-web4
8m 23s worker/web4-20260813-120000
worker/web4-20260813-120000
8m 23s
hub F0.3 (R7c): deploy ratification — currency is not ratification ci #284: Pull request #708 synchronize by dp-web4
3m 1s hub/f0.3-ratified-digest-v2
hub/f0.3-ratified-digest-v2
3m 1s
hub F0.3 (R7c): deploy ratification — currency is not ratification ci #283: Pull request #708 opened by dp-web4
2m 40s hub/f0.3-ratified-digest-v2
hub/f0.3-ratified-digest-v2
2m 40s