Skip to content

Commit 3c7a9f9

Browse files
V43 Canonical Promotion: Calibrate demonstration proof bound
Raises the V43 promotion validation bound for the full protocol-demonstration proof suite so it remains exhaustive while staying fail-closed and inspectable in GitHub Actions.
1 parent cae59f8 commit 3c7a9f9

2 files changed

Lines changed: 2 additions & 2 deletions

File tree

.bitcode/v43-promotion-readiness-report.json

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -238,7 +238,7 @@
238238
{
239239
"relativePath": ".github/workflows/v43-canon-promotion.yml",
240240
"present": true,
241-
"digest": "sha256:d5ba6ba2a57641227266c1b9103efba97afbb2e0fef0475c1b09571b5011bee4",
241+
"digest": "sha256:b58071d9a8578a0ec4436152658b79cfd155022464dd01bf1f2360111d8d7988",
242242
"requiredTokens": [
243243
{
244244
"token": "head.ref == 'version/v43'",

.github/workflows/v43-canon-promotion.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -101,7 +101,7 @@ jobs:
101101
run_bounded 5m pnpm --filter @bitcode/protocol test
102102
run_bounded 5m pnpm --filter @bitcode/btd typecheck
103103
run_bounded 5m pnpm --filter @bitcode/btd exec jest --config jest.config.cjs --runInBand --forceExit
104-
run_bounded 5m npm --prefix protocol-demonstration test
104+
run_bounded 15m npm --prefix protocol-demonstration test
105105
run_bounded 5m npm --prefix protocol-demonstration run test:v28-mvp-qa
106106
run_bounded 5m pnpm --filter @bitcode/pipeline-asset-pack typecheck
107107
run_bounded 5m pnpm --filter @bitcode/pipeline-hosts typecheck

0 commit comments

Comments
 (0)