Skip to content

fix normalisation leading to invalid rules #692

fix normalisation leading to invalid rules

fix normalisation leading to invalid rules #692

Triggered via pull request September 14, 2023 21:53
Status Success
Total duration 8m 22s
Artifacts

pr.yml

on: pull_request
Lint with clippy
2m 2s
Lint with clippy
Verify code formatting
29s
Verify code formatting
Verify crate documentation
1m 51s
Verify crate documentation
Check for undefined behaviour with miri
8m 11s
Check for undefined behaviour with miri
Test python bindings
1m 37s
Test python bindings
Check python code formatting
12s
Check python code formatting
Matrix: test
Fit to window
Zoom out
Zoom in