Osiris CI

revert: disable seccomp in devcontainer. #129

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build Container	14m 48s
Kani verification	2m 50s
Build for the STM32 Nucleo L4R5ZI	2m 5s
Check formatting	1m 52s
Testing	2m 29s
	24m 4s