Skip to content

Import & Export directives #810

Import & Export directives

Import & Export directives #810

Triggered via pull request November 20, 2023 18:10
Status Cancelled
Total duration 37s
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
9s
Lint with clippy
Verify code formatting
24s
Verify code formatting
Verify crate documentation
10s
Verify crate documentation
Check for undefined behaviour with miri
10s
Check for undefined behaviour with miri
Test python bindings
9s
Test python bindings
Check python code formatting
5s
Check python code formatting
Test wasm bindings
24s
Test wasm bindings
Matrix: test
Fit to window
Zoom out
Zoom in

Annotations

14 errors
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.
Lint with clippy
Canceling since a higher priority waiting request for 'ci-refs/pull/415/merge' exists
Lint with clippy
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.
Verify crate documentation
Canceling since a higher priority waiting request for 'ci-refs/pull/415/merge' exists
Verify crate documentation
The operation was canceled.
Verify code formatting
Canceling since a higher priority waiting request for 'ci-refs/pull/415/merge' exists
Verify code formatting
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.
Test wasm bindings
Canceling since a higher priority waiting request for 'ci-refs/pull/415/merge' exists
Test wasm bindings
The operation was canceled.