Merge pull request #44 from thm-mni-ii/43-remove-choice-dictionaries-… #88

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Coverage Report	1m 18s
Lint	18s
Format	14s
Miri	53s
Tests	22s
	3m 5s