Skip to content
CI PR

Parser #1190

Sign in to view logs

Parser

Parser #1190

Triggered via pull request September 20, 2024 08:01
@monsterkrampemonsterkrampe
synchronize #455
parser
Status Cancelled
Total duration 15m 38s
Artifacts –

pr.yml

on: pull_request
Lint with clippy
1m 0s
Lint with clippy
Verify code formatting
17s
Verify code formatting
Verify crate documentation
1m 41s
Verify crate documentation
Check for undefined behaviour with miri
15m 10s
Check for undefined behaviour with miri
Test python bindings
1m 20s
Test python bindings
Check python code formatting
6s
Check python code formatting
Test wasm bindings
1m 17s
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.