Skip to content
Test

Update dependency: deps/mx-semantics_release #1360

Sign in to view logs

Update dependency: deps/mx-semantics_release

Update dependency: deps/mx-semantics_release #1360

Triggered via pull request July 11, 2024 16:28
@rv-jenkinsrv-jenkins
synchronize #171
_update-deps/runtimeverification/mx-semantics
Status Cancelled
Total duration 2m 41s
Artifacts –

test.yml

on: pull_request
Code Quality Checks
2m 27s
Code Quality Checks
Version Bump
4s
Version Bump
Kmxwasm integration tests
0s
Kmxwasm integration tests
Kmxwasm booster tests
0s
Kmxwasm booster tests
Kasmer claim generation tests
0s
Kasmer claim generation tests
Build and Test lemmas
0s
Build and Test lemmas
Smoke tests
0s
Smoke tests
Matrix: Nix
Fit to window
Zoom out
Zoom in

Annotations

1 error and 1 warning
Code Quality Checks
Canceling since a higher priority waiting request for 'Test-refs/pull/171/merge' exists
Version Bump
The following actions uses Node.js version which is deprecated 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/