Skip to content
Run Tests

Update dependency: deps/wasm-semantics #509

Sign in to view logs

Update dependency: deps/wasm-semantics

Update dependency: deps/wasm-semantics #509

Triggered via pull request February 19, 2024 18:25
@ehildenbehildenb
synchronize #201
_update-deps/runtimeverification/wasm-semantics
Status Cancelled
Total duration 24s
Artifacts –

test-pr.yml

on: pull_request
Code Quality Checks
15s
Code Quality Checks
Version Bump
11s
Version Bump
Simple Tests
0s
Simple Tests
Compilation Tests
0s
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

1 error and 2 warnings
Code Quality Checks
The operation was canceled.
Version Bump
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/.
Code Quality Checks
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/.