Import & Export directives #807
Triggered via pull request
November 20, 2023 16:58
mmarx
Status
Cancelled
Total duration
1m 31s
Artifacts
–
pr.yml
on: pull_request
Lint with clippy
1m 0s
Verify code formatting
27s
Verify crate documentation
1m 10s
Check for undefined behaviour with miri
1m 21s
Test python bindings
1m 9s
Check python code formatting
8s
Test wasm bindings
57s
Matrix: test
Annotations
8 errors
|
Verify crate documentation
Canceling since a higher priority waiting request for 'ci-refs/pull/415/merge' exists
|
|
Verify crate documentation
The operation was canceled.
|
|
Test python bindings
Canceling since a higher priority waiting request for 'ci-refs/pull/415/merge' exists
|
|
Test python bindings
The operation was canceled.
|
|
Test Rust nightly on ubuntu-latest
Canceling since a higher priority waiting request for 'ci-refs/pull/415/merge' exists
|
|
Test Rust nightly on ubuntu-latest
The operation was canceled.
|
|
Check for undefined behaviour with miri
Canceling since a higher priority waiting request for 'ci-refs/pull/415/merge' exists
|
|
Check for undefined behaviour with miri
The operation was canceled.
|