Skip to content
CI PR

Parser #1202

Sign in to view logs

Parser

Parser #1202

Triggered via pull request October 1, 2024 09:33
@aannleaxaannleax
synchronize #455
parser
Status Cancelled
Total duration 5m 32s
Artifacts –

pr.yml

on: pull_request
Lint with clippy
1m 1s
Lint with clippy
Verify code formatting
19s
Verify code formatting
Verify crate documentation
1m 35s
Verify crate documentation
Check for undefined behaviour with miri
5m 4s
Check for undefined behaviour with miri
Test python bindings
1m 20s
Test python bindings
Check python code formatting
5s
Check python code formatting
Test wasm bindings
1m 19s
Test wasm bindings
Matrix: test
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Check for undefined behaviour with miri
Canceling since a higher priority waiting request for 'ci-refs/pull/455/merge' exists
Check for undefined behaviour with miri
The operation was canceled.