Skip to content

smt: add additional debugging assertions to detect type confusions #61

smt: add additional debugging assertions to detect type confusions

smt: add additional debugging assertions to detect type confusions #61

Triggered via push April 10, 2024 10:13
Status Failure
Total duration 48m 35s
Artifacts

rust.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

3 errors and 3 warnings
Clippy
Process completed with exit code 101.
Test Suite
Process completed with exit code 101.
Rustfmt
Process completed with exit code 1.
Clippy
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
Test Suite
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
Rustfmt
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.