use HashMapDictionary #769
larry-gonzalez
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
pr.yml
on: pull_request
Lint with clippy
56s
Verify code formatting
29s
Verify crate documentation
2m 18s
Check for undefined behaviour with miri
8m 32s
Test python bindings
1m 40s
Check python code formatting
5s
Matrix: test