Remove unecessary #[feature(thread_local)] from sel4-sys
#393
nspinpush.yaml
on: pull_request
Check licenses
14s
Check source
1m 39s
Run other tests
10m 26s
Build docs
8m 30s
Deploy docs
0s
Annotations
5 warnings
|
Check source
No push credentials found. Ignoring the 'useDaemon' option.
|
|
Check dependencies
No push credentials found. Ignoring the 'useDaemon' option.
|
|
Build docs
No push credentials found. Ignoring the 'useDaemon' option.
|
|
Run other tests
No push credentials found. Ignoring the 'useDaemon' option.
|
|
Build everything
No push credentials found. Ignoring the 'useDaemon' option.
|