Skip to content
Run Tests

Update dependency: deps/wasm-semantics #507

Sign in to view logs

Update dependency: deps/wasm-semantics

Update dependency: deps/wasm-semantics #507

Triggered via pull request February 19, 2024 17:28
@rv-jenkinsrv-jenkins
synchronize #201
_update-deps/runtimeverification/wasm-semantics
Status Cancelled
Total duration 1m 19s
Artifacts –

test-pr.yml

on: pull_request
Code Quality Checks
50s
Code Quality Checks
Simple Tests
13s
Simple Tests
Compilation Tests
14s
Compilation Tests
Feature Tests
0s
Feature Tests
KMultiversX Tests
0s
KMultiversX Tests
Example Contract Tests
0s
Example Contract Tests
Custom Contract Tests
0s
Custom Contract Tests
Fit to window
Zoom out
Zoom in

Annotations

4 errors and 3 warnings
Compilation Tests
The operation was canceled.
Compilation Tests
Process completed with exit code 1.
Simple Tests
Process completed with exit code 1.
Simple Tests
The operation was canceled.
Code Quality Checks
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, Gr1N/setup-poetry@v8. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
Compilation 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/.
Simple 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/.