Remove unecessary `#[feature(thread_local)]` from `sel4-sys` #393

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check licenses	14s
Build docs	8m 30s
Check dependencies	2m 52s
Check Kani proofs	3m 1s
Check source	1m 39s
Run other tests	10m 26s
Build everything	19m 12s
Deploy docs	0s
	45m 54s