PR

capDL and x86_64 support in Microkit #763

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
clippy_check	22s
rustfmt_check	8s
Checks / Trailing Whitespace	7s
Checks / Gitlint	2m 28s
Checks / Portable Shell	8s
Checks / Style	1m 13s
	4m 26s