Skip to content

Simplify TableSource #1218

Simplify TableSource

Simplify TableSource #1218

Triggered via pull request November 1, 2024 16:07
Status Success
Total duration 28m 35s
Artifacts

pr.yml

on: pull_request
Lint with clippy
57s
Lint with clippy
Verify code formatting
25s
Verify code formatting
Verify crate documentation
1m 35s
Verify crate documentation
Check for undefined behaviour with miri
28m 26s
Check for undefined behaviour with miri
Test python bindings
1m 18s
Test python bindings
Check python code formatting
6s
Check python code formatting
Test wasm bindings
1m 19s
Test wasm bindings
Matrix: test
Fit to window
Zoom out
Zoom in