CI

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check Kani proofs	3m 25s
Build docs	5m 47s
Check dependencies	3m 15s
Check licenses	14s
Check source	2m 49s
Run other tests	5m 7s
Build everything	0s
Deploy docs	0s
	20m 37s