More efficient dictionaries for data pairs #1165
mkroetzschpr.yml
on: pull_request
Lint with clippy
56s
Verify code formatting
22s
Verify crate documentation
1m 18s
Check for undefined behaviour with miri
8m 34s
Test python bindings
1m 8s
Check python code formatting
5s
Test wasm bindings
56s
Matrix: test
Annotations
1 error
|
Verify code formatting
Process completed with exit code 1.
|