Skip to content

Deploy hardened SubscriptionManager to Base Sepolia (0x3116...B033) #26

Deploy hardened SubscriptionManager to Base Sepolia (0x3116...B033)

Deploy hardened SubscriptionManager to Base Sepolia (0x3116...B033) #26

Triggered via push July 18, 2026 03:23
Status Success
Total duration 2m 32s
Artifacts 1

ci.yml

on: push
TypeScript Build
39s
TypeScript Build
Solidity Tests
31s
Solidity Tests
Counterflow Formal Verification
10s
Counterflow Formal Verification
Solidity Coverage
33s
Solidity Coverage
Happy-Path Integration
59s
Happy-Path Integration
Fit to window
Zoom out
Zoom in

Annotations

1 error and 1 warning
Solidity Coverage
Process completed with exit code 1.
Solidity Coverage
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/upload-artifact@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/

Artifacts

Produced during runtime
Name Size Digest
coverage-lcov
4.18 KB
sha256:d499d724dc8f25ecc39b7fb27ce9a0ec8ff16c93bc2c581ab3d57d9705b21dbc