Back to pull request #169

crates/sel4-shared-ring-buffer/smoltcp: Add `can_{receive,transmit}` #474

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check licenses	14s
Build docs	8m 32s
Check Kani proofs	3m 28s
Check dependencies	3m 18s
Check source	2m 49s
Run other tests	5m 10s
Build everything	5m 29s
Deploy docs	0s
	29m 0s