Validate predicate usage against declared arity #694
Triggered via pull request
September 19, 2023 12:56
mmarx
Status
Success
Total duration
17m 47s
Artifacts
–
pr.yml
on: pull_request
Lint with clippy
2m 4s
Verify code formatting
39s
Verify crate documentation
1m 40s
Check for undefined behaviour with miri
17m 35s
Test python bindings
1m 34s
Check python code formatting
8s
Matrix: test