Skip to content

Feature/refactor planning #1527

Feature/refactor planning

Feature/refactor planning #1527

Triggered via pull request October 20, 2025 14:51
Status Success
Total duration 11m 30s
Artifacts

pr.yml

on: pull_request
Lint with clippy
1m 24s
Lint with clippy
Verify code formatting
23s
Verify code formatting
Verify crate documentation
5m 23s
Verify crate documentation
Check for undefined behaviour with miri
11m 27s
Check for undefined behaviour with miri
Test python bindings
1m 38s
Test python bindings
Check python code formatting
7s
Check python code formatting
Test wasm bindings
1m 30s
Test wasm bindings
Matrix: test
Fit to window
Zoom out
Zoom in