Skip to content
CI

chore: fix gitignore quoting, exclude veros-verify stray files #32

Sign in to view logs

chore: fix gitignore quoting, exclude veros-verify stray files

chore: fix gitignore quoting, exclude veros-verify stray files #32

Triggered via push August 3, 2026 19:29
@KryptosAIKryptosAI
pushed 2f2200a
main
Status Success
Total duration 2m 52s
Artifacts 1

ci.yml

on: push
TypeScript Build
40s
TypeScript Build
Solidity Tests
30s
Solidity Tests
Counterflow Formal Verification
11s
Counterflow Formal Verification
Solidity Coverage
37s
Solidity Coverage
TypeScript Tests
2m 6s
TypeScript Tests
Workspace Build
1m 3s
Workspace Build
Service Tests
1m 40s
Service Tests
Happy-Path Integration
49s
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.21 KB
sha256:74baa45b1f400eae49402d3047a839b4fa69291375a36d96942d87002af9dba9