Skip to content

Fix CI: quote hex env values that broke workflow YAML parsing #21

Fix CI: quote hex env values that broke workflow YAML parsing

Fix CI: quote hex env values that broke workflow YAML parsing #21

Triggered via push July 17, 2026 21:27
Status Failure
Total duration 37s
Artifacts

ci.yml

on: push
TypeScript Build
6s
TypeScript Build
Solidity Tests
34s
Solidity Tests
Counterflow Formal Verification
6s
Counterflow Formal Verification
TypeScript Tests
TypeScript Tests
Happy-Path Integration
0s
Happy-Path Integration
Fit to window
Zoom out
Zoom in

Annotations

1 error and 3 warnings
TypeScript Build
Process completed with exit code 1.
TypeScript Build
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4, actions/setup-node@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
Counterflow Formal Verification
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4, actions/setup-node@v4, actions/setup-python@v5. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
Solidity Tests
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/