Skip to content

removed reduce triples and added start of cas integration into symbolic #481

removed reduce triples and added start of cas integration into symbolic

removed reduce triples and added start of cas integration into symbolic #481

Triggered via pull request May 7, 2024 20:16
@jafiotijafioti
synchronize #60
cas
Status Failure
Total duration 18s
Artifacts

test.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

2 errors and 3 warnings
Clippy
Process completed with exit code 101.
Unit Tests
Process completed with exit code 101.
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/.
Fmt
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/.
Unit Tests
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/.