Skip to content
CI PR

support wildcard terms #778

Sign in to view logs

support wildcard terms

support wildcard terms #778

Triggered via pull request November 9, 2023 10:10
@matzemathicsmatzemathics
opened #409
wildcard-terms
Status Success
Total duration 4m 58s
Artifacts –

pr.yml

on: pull_request
Lint with clippy
58s
Lint with clippy
Verify code formatting
27s
Verify code formatting
Verify crate documentation
2m 5s
Verify crate documentation
Check for undefined behaviour with miri
4m 47s
Check for undefined behaviour with miri
Test python bindings
1m 39s
Test python bindings
Check python code formatting
9s
Check python code formatting
Test wasm bindings
50s
Test wasm bindings
Matrix: test
Fit to window
Zoom out
Zoom in