tock-ci

misc edits, see RJ:HANG, and configure_initial_pmp_idx #592

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
ci-format (ubuntu-latest)	1m 10s
ci-clippy (ubuntu-latest)	32s
ci-tests (ubuntu-latest)	58s
ci-qemu (ubuntu-latest)	1m 6s
ci-build (ubuntu-latest)	3s
	3m 49s