Skip to content
CI PR

Simplify TableSource #1216

Sign in to view logs

Simplify TableSource

Simplify TableSource #1216

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

pr.yml

on: pull_request
Lint with clippy
55s
Lint with clippy
Verify code formatting
27s
Verify code formatting
Verify crate documentation
1m 36s
Verify crate documentation
Check for undefined behaviour with miri
7m 39s
Check for undefined behaviour with miri
Test python bindings
1m 21s
Test python bindings
Check python code formatting
7s
Check python code formatting
Test wasm bindings
1m 18s
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.