Skip to content
CI PR

Simplify TableSource #1215

Sign in to view logs

Simplify TableSource

Simplify TableSource #1215

Triggered via pull request November 1, 2024 14:39
@matzemathicsmatzemathics
opened #548
simplify-table-source
Status Cancelled
Total duration 2m 10s
Artifacts –

pr.yml

on: pull_request
Lint with clippy
56s
Lint with clippy
Verify code formatting
27s
Verify code formatting
Verify crate documentation
1m 34s
Verify crate documentation
Check for undefined behaviour with miri
2m 0s
Check for undefined behaviour with miri
Test python bindings
1m 14s
Test python bindings
Check python code formatting
4s
Check python code formatting
Test wasm bindings
1m 20s
Test wasm bindings
Matrix: test
Fit to window
Zoom out
Zoom in

Annotations

3 errors
Verify code formatting
Process completed with exit code 1.
Check for undefined behaviour with miri
Canceling since a higher priority waiting request for 'ci-refs/pull/548/merge' exists
Check for undefined behaviour with miri
The operation was canceled.