CI

Merge pull request #19 from hermit-os/interrupt-mutex-crate #109

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Clippy	29s
Check format	13s
Test with Miri	2m 41s
Check documentation	26s
Test	20s
	4m 9s