Skip to content
CI PR

fix: do not validate facts and rules twice #1315

Sign in to view logs

fix: do not validate facts and rules twice

fix: do not validate facts and rules twice #1315

Triggered via pull request February 7, 2025 23:04
@matzemathicsmatzemathics
opened #619
fix/double-validation-of-program-components
Status Success
Total duration 34m 9s
Artifacts –

pr.yml

on: pull_request
Lint with clippy
1m 8s
Lint with clippy
Verify code formatting
21s
Verify code formatting
Verify crate documentation
1m 39s
Verify crate documentation
Check for undefined behaviour with miri
34m 0s
Check for undefined behaviour with miri
Test python bindings
1m 19s
Test python bindings
Check python code formatting
5s
Check python code formatting
Test wasm bindings
1m 20s
Test wasm bindings
Matrix: test
Fit to window
Zoom out
Zoom in