Skip to content

cancel in progress ci runs, when new version is pushed #788

cancel in progress ci runs, when new version is pushed

cancel in progress ci runs, when new version is pushed #788

Triggered via pull request November 9, 2023 16:23
Status Success
Total duration 6m 49s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

pr.yml

on: pull_request
Lint with clippy
2m 2s
Lint with clippy
Verify code formatting
17s
Verify code formatting
Verify crate documentation
2m 32s
Verify crate documentation
Check for undefined behaviour with miri
6m 36s
Check for undefined behaviour with miri
Test python bindings
1m 43s
Test python bindings
Check python code formatting
6s
Check python code formatting
Test wasm bindings
54s
Test wasm bindings
Matrix: test
Fit to window
Zoom out
Zoom in