Encode and decode contracts in tests #277
virgil-serbanutabuild-and-test.yaml
on: pull_request
Code Quality Checks
5s
Build And Test
5s
Build And Test the deprecated Mx semantics
6s
Annotations
18 errors and 3 warnings
|
Code Quality Checks
Process completed with exit code 1.
|
|
Code Quality Checks
repository 'https://github.com/Pi-Squared-Inc/ulm/' not found
|
|
Code Quality Checks
clone of '[email protected]:Pi-Squared-Inc/ulm' into submodule path '/home/github-runner/actions-runner/_work/rust-demo-semantics/rust-demo-semantics/deps/ulm' failed
|
|
Code Quality Checks
repository 'https://github.com/Pi-Squared-Inc/ulm/' not found
|
|
Code Quality Checks
clone of '[email protected]:Pi-Squared-Inc/ulm' into submodule path '/home/github-runner/actions-runner/_work/rust-demo-semantics/rust-demo-semantics/deps/ulm' failed
|
|
Code Quality Checks
The process '/usr/bin/git' failed with exit code 1
|
|
Build And Test the deprecated Mx semantics
Process completed with exit code 1.
|
|
Build And Test the deprecated Mx semantics
repository 'https://github.com/Pi-Squared-Inc/ulm/' not found
|
|
Build And Test the deprecated Mx semantics
clone of '[email protected]:Pi-Squared-Inc/ulm' into submodule path '/home/github-runner/actions-runner/_work/rust-demo-semantics/rust-demo-semantics/deps/ulm' failed
|
|
Build And Test the deprecated Mx semantics
repository 'https://github.com/Pi-Squared-Inc/ulm/' not found
|
|
Build And Test the deprecated Mx semantics
clone of '[email protected]:Pi-Squared-Inc/ulm' into submodule path '/home/github-runner/actions-runner/_work/rust-demo-semantics/rust-demo-semantics/deps/ulm' failed
|
|
Build And Test the deprecated Mx semantics
The process '/usr/bin/git' failed with exit code 1
|
|
Build And Test
repository 'https://github.com/Pi-Squared-Inc/ulm/' not found
|
|
Build And Test
clone of '[email protected]:Pi-Squared-Inc/ulm' into submodule path '/home/github-runner/actions-runner/_work/rust-demo-semantics/rust-demo-semantics/deps/ulm' failed
|
|
Build And Test
repository 'https://github.com/Pi-Squared-Inc/ulm/' not found
|
|
Build And Test
clone of '[email protected]:Pi-Squared-Inc/ulm' into submodule path '/home/github-runner/actions-runner/_work/rust-demo-semantics/rust-demo-semantics/deps/ulm' failed
|
|
Build And Test
The process '/usr/bin/git' failed with exit code 1
|
|
Build And Test
Process completed with exit code 1.
|
|
Code Quality Checks
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/
|
|
Build And Test the deprecated Mx semantics
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/
|
|
Build And Test
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/
|