add support for csv header remapping #837
Triggered via pull request
December 2, 2023 01:50
matzemathics
Status
Cancelled
Total duration
1m 25s
Artifacts
–
pr.yml
on: pull_request
Lint with clippy
56s
Verify code formatting
16s
Verify crate documentation
56s
Check for undefined behaviour with miri
56s
Test python bindings
43s
Check python code formatting
9s
Test wasm bindings
52s
Matrix: test
Annotations
12 errors
|
Test python bindings
Canceling since a higher priority waiting request for 'ci-refs/pull/440/merge' exists
|
|
Test python bindings
The operation was canceled.
|
|
Test wasm bindings
Canceling since a higher priority waiting request for 'ci-refs/pull/440/merge' exists
|
|
Test wasm bindings
The operation was canceled.
|
|
Verify crate documentation
Canceling since a higher priority waiting request for 'ci-refs/pull/440/merge' exists
|
|
Verify crate documentation
The operation was canceled.
|
|
Lint with clippy
Canceling since a higher priority waiting request for 'ci-refs/pull/440/merge' exists
|
|
Lint with clippy
The operation was canceled.
|
|
Check for undefined behaviour with miri
Canceling since a higher priority waiting request for 'ci-refs/pull/440/merge' exists
|
|
Check for undefined behaviour with miri
The operation was canceled.
|
|
Test Rust nightly on ubuntu-latest
Canceling since a higher priority waiting request for 'ci-refs/pull/440/merge' exists
|
|
Test Rust nightly on ubuntu-latest
The operation was canceled.
|