SEP-24 Fiat On-ramp Integration #26
Triggered via pull request
August 31, 2026 09:20
Samanway2405
Status
Cancelled
Total duration
6h 0m 23s
Artifacts
–
formal-verification.yml
on: pull_request
Property-Based Tests (proptest)
34s
Kani Model Checking
6h 0m
Annotations
2 errors and 2 warnings
|
Kani Model Checking
The job has exceeded the maximum execution time of 6h0m0s
|
|
Kani Model Checking
The operation was canceled.
|
|
Property-Based Tests (proptest)
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/
|
|
Kani Model Checking
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/
|