CI

Merge pull request #18 from hermit-os/interrupts #105

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check documentation	10s
Clippy	15s
Check format	13s
Test with Miri	3m 21s
Test	19s
	4m 18s