Skip to content
Rust

meta: fix off by one error #482

Sign in to view logs

meta: fix off by one error

meta: fix off by one error #482

Triggered via push November 26, 2024 02:19
@ekiwiekiwi
pushed f4cbcce
refactor-ts
Status Failure
Total duration 1m 30s
Artifacts –

test.yml

on: push
Check Semantic Versioning
17s
Check Semantic Versioning
Check Formatting
3s
Check Formatting
Matrix: Test BMC Example
Matrix: Test SIM Example
Matrix: Unit Tests
Fit to window
Zoom out
Zoom in

Annotations

3 errors and 6 warnings
Check Semantic Versioning
The process '/home/runner/.cargo/bin/cargo' failed with exit code 1
Unit Tests (stable)
Process completed with exit code 101.
Test SIM Example (stable)
Process completed with exit code 101.
Check Formatting
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
Check Semantic Versioning
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
Unit Tests (stable)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
Test BMC Example (stable, bitwuzla)
The following actions use a deprecated Node.js version and will be forced to run on node20: YosysHQ/setup-oss-cad-suite@v2, actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
Test SIM Example (stable)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
Test BMC Example (stable, yices2)
The following actions use a deprecated Node.js version and will be forced to run on node20: YosysHQ/setup-oss-cad-suite@v2, actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/