Skip to content
Test

Update dependency: deps/kwasm_release #13

Sign in to view logs

Update dependency: deps/kwasm_release

Update dependency: deps/kwasm_release #13

Triggered via pull request May 15, 2024 07:36
@rv-jenkinsrv-jenkins
synchronize #5
_update-deps/runtimeverification/wasm-semantics
Status Cancelled
Total duration 51s
Artifacts –

test.yml

on: pull_request
Version Bump
6s
Version Bump
Code Quality Checks
22s
Code Quality Checks
Integration Tests
6s
Integration Tests
Fit to window
Zoom out
Zoom in

Annotations

3 errors and 1 warning
Integration Tests
Canceling since a higher priority waiting request for 'Test-refs/pull/5/merge' exists
Integration Tests
Process completed with exit code 1.
Integration 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. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.