lsf37
commented
3 years ago To avoid conflicts I think we should let the style check fail on this PR and repair instead on content PRs.
Closed lsf37 closed 3 years ago
lsf37
commented
3 years ago To avoid conflicts I think we should let the style check fail on this PR and repair instead on content PRs.
lsf37
commented
3 years ago Bamboo should come back with style and license failure until it's switched over:
@ssrg-bamboo test
ssrg-bamboo
commented
3 years ago Hello, I'm a bot! I'll bring this PR into Trustworthy Systems and run some tests
ssrg-bamboo
commented
3 years ago | Test name | Result |
|---|---|
| Code Quality - Check licenses - seL4_libs - EXT-seL4-spdx-26 | FAILED |
| Code Quality - Style - seL4_libs - EXT-seL4-spdx-26 | FAILED |
| Project | Stage | Result summary |
|---|---|---|
| Code Quality - Check licenses - seL4_libs - EXT-seL4-spdx-26 | Check licenses | 1 of 1 job failed |
Job: lic Build logs
10-Feb-2021 19:38:13 Build Code Quality - Check licenses - seL4_libs - EXT-seL4-spdx-26 - lic #1 (CQ-SEL4LIBSCL79-SEL4LIBSLICCQ-1) started building on agent A local agent 2, bamboo version: 7.1.4
10-Feb-2021 19:38:13 I run on the Bamboo server!
10-Feb-2021 19:38:13 Build working directory is /var/atlassian/application-data/bamboo/xml-data/build-dir/151224373/CQ-SEL4LIBSCL79-SEL4LIBSLICCQ
10-Feb-2021 19:38:13 Executing build Code Quality - Check licenses - seL4_libs - EXT-seL4-spdx-26 - lic #1 (CQ-SEL4LIBSCL79-SEL4LIBSLICCQ-1)
10-Feb-2021 19:38:13 Preparing artifact 'code' for use at /var/atlassian/application-data/bamboo/xml-data/build-dir/151224373/CQ-SEL4LIBSCL79-SEL4LIBSLICCQ/. (location: .)
10-Feb-2021 19:38:13 Artifact 'code' prepared in 18.95 ms at /var/atlassian/application-data/bamboo/xml-data/build-dir/151224373/CQ-SEL4LIBSCL79-SEL4LIBSLICCQ/./code.tar.gz
10-Feb-2021 19:38:13 Running pre-build action: VCS Version Collector
10-Feb-2021 19:38:13 Starting task 'Untar code' of type 'com.atlassian.bamboo.plugins.scripttask:task.builder.script'
10-Feb-2021 19:38:13 + tar xf code.tar.gz --recursive-unlink
10-Feb-2021 19:38:13 Finished task 'Untar code' with result: Success
10-Feb-2021 19:38:13 Starting task 'Set permissions so Bamboo can cleanup' of type 'com.atlassian.bamboo.plugins.scripttask:task.builder.script'
10-Feb-2021 19:38:13 + chmod -R o+rwx /var/atlassian/application-data/bamboo/xml-data/build-dir/151224373/CQ-SEL4LIBSCL79-SEL4LIBSLICCQ
10-Feb-2021 19:38:13 Finished task 'Set permissions so Bamboo can cleanup' with result: Success
10-Feb-2021 19:38:13 Starting task 'Check license' of type 'com.atlassian.bamboo.plugins.scripttask:task.builder.script'
10-Feb-2021 19:38:13 + python license-tool/check_license.py seL4_libs
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/.gitignore: seL4_libs/.gitignore: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/CMakeLists.txt: seL4_libs/CMakeLists.txt: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/FindseL4_libs.cmake: seL4_libs/FindseL4_libs.cmake: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/LICENSE.md: seL4_libs/LICENSE.md: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/README.md: seL4_libs/README.md: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/.github/CODE_OF_CONDUCT.md: seL4_libs/.github/CODE_OF_CONDUCT.md: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/.github/CONTRIBUTING.md: seL4_libs/.github/CONTRIBUTING.md: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/.github/workflows/pr.yml: seL4_libs/.github/workflows/pr.yml: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/.github/workflows/push.yml: seL4_libs/.github/workflows/push.yml: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4allocman/CMakeLists.txt: seL4_libs/libsel4allocman/CMakeLists.txt: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4allocman/README.md: seL4_libs/libsel4allocman/README.md: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4allocman/example_bootstrap.c: seL4_libs/libsel4allocman/example_bootstrap.c: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4allocman/arch/arm/allocman/arch/reservation.h: seL4_libs/libsel4allocman/arch/arm/allocman/arch/reservation.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4allocman/arch/riscv/allocman/arch/reservation.h: seL4_libs/libsel4allocman/arch/riscv/allocman/arch/reservation.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4allocman/arch/x86/allocman/arch/reservation.h: seL4_libs/libsel4allocman/arch/x86/allocman/arch/reservation.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4allocman/include/allocman/allocman.h: seL4_libs/libsel4allocman/include/allocman/allocman.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4allocman/include/allocman/bootstrap.h: seL4_libs/libsel4allocman/include/allocman/bootstrap.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4allocman/include/allocman/cspaceops.h: seL4_libs/libsel4allocman/include/allocman/cspaceops.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4allocman/include/allocman/properties.h: seL4_libs/libsel4allocman/include/allocman/properties.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4allocman/include/allocman/util.h: seL4_libs/libsel4allocman/include/allocman/util.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4allocman/include/allocman/vka.h: seL4_libs/libsel4allocman/include/allocman/vka.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4allocman/include/allocman/cspace/cspace.h: seL4_libs/libsel4allocman/include/allocman/cspace/cspace.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4allocman/include/allocman/cspace/simple1level.h: seL4_libs/libsel4allocman/include/allocman/cspace/simple1level.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4allocman/include/allocman/cspace/single_level.h: seL4_libs/libsel4allocman/include/allocman/cspace/single_level.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4allocman/include/allocman/cspace/two_level.h: seL4_libs/libsel4allocman/include/allocman/cspace/two_level.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4allocman/include/allocman/cspace/vka.h: seL4_libs/libsel4allocman/include/allocman/cspace/vka.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4allocman/include/allocman/mspace/dual_pool.h: seL4_libs/libsel4allocman/include/allocman/mspace/dual_pool.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4allocman/include/allocman/mspace/fixed_pool.h: seL4_libs/libsel4allocman/include/allocman/mspace/fixed_pool.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4allocman/include/allocman/mspace/k_r_malloc.h: seL4_libs/libsel4allocman/include/allocman/mspace/k_r_malloc.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4allocman/include/allocman/mspace/malloc.h: seL4_libs/libsel4allocman/include/allocman/mspace/malloc.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4allocman/include/allocman/mspace/mspace.h: seL4_libs/libsel4allocman/include/allocman/mspace/mspace.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4allocman/include/allocman/mspace/null.h: seL4_libs/libsel4allocman/include/allocman/mspace/null.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4allocman/include/allocman/mspace/virtual_pool.h: seL4_libs/libsel4allocman/include/allocman/mspace/virtual_pool.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4allocman/include/allocman/mspace/vspace_pool.h: seL4_libs/libsel4allocman/include/allocman/mspace/vspace_pool.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4allocman/include/allocman/utspace/split.h: seL4_libs/libsel4allocman/include/allocman/utspace/split.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4allocman/include/allocman/utspace/twinkle.h: seL4_libs/libsel4allocman/include/allocman/utspace/twinkle.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4allocman/include/allocman/utspace/utspace.h: seL4_libs/libsel4allocman/include/allocman/utspace/utspace.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4allocman/include/allocman/utspace/vka.h: seL4_libs/libsel4allocman/include/allocman/utspace/vka.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4allocman/sel4_arch/aarch32/allocman/sel4_arch/reservation.h: seL4_libs/libsel4allocman/sel4_arch/aarch32/allocman/sel4_arch/reservation.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4allocman/sel4_arch/aarch64/allocman/sel4_arch/reservation.h: seL4_libs/libsel4allocman/sel4_arch/aarch64/allocman/sel4_arch/reservation.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4allocman/sel4_arch/ia32/allocman/sel4_arch/reservation.h: seL4_libs/libsel4allocman/sel4_arch/ia32/allocman/sel4_arch/reservation.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4allocman/sel4_arch/x86_64/allocman/sel4_arch/reservation.h: seL4_libs/libsel4allocman/sel4_arch/x86_64/allocman/sel4_arch/reservation.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4allocman/src/allocman.c: seL4_libs/libsel4allocman/src/allocman.c: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4allocman/src/bootstrap.c: seL4_libs/libsel4allocman/src/bootstrap.c: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4allocman/src/vka.c: seL4_libs/libsel4allocman/src/vka.c: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4allocman/src/cspace/simple1level.c: seL4_libs/libsel4allocman/src/cspace/simple1level.c: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4allocman/src/cspace/single_level.c: seL4_libs/libsel4allocman/src/cspace/single_level.c: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4allocman/src/cspace/two_level.c: seL4_libs/libsel4allocman/src/cspace/two_level.c: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4allocman/src/mspace/dual_pool.c: seL4_libs/libsel4allocman/src/mspace/dual_pool.c: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4allocman/src/mspace/fixed_pool.c: seL4_libs/libsel4allocman/src/mspace/fixed_pool.c: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4allocman/src/mspace/k_r_malloc.c: seL4_libs/libsel4allocman/src/mspace/k_r_malloc.c: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4allocman/src/mspace/malloc.c: seL4_libs/libsel4allocman/src/mspace/malloc.c: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4allocman/src/mspace/virtual_pool.c: seL4_libs/libsel4allocman/src/mspace/virtual_pool.c: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4allocman/src/mspace/vspace_pool.c: seL4_libs/libsel4allocman/src/mspace/vspace_pool.c: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4allocman/src/utspace/split.c: seL4_libs/libsel4allocman/src/utspace/split.c: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4allocman/src/utspace/twinkle.c: seL4_libs/libsel4allocman/src/utspace/twinkle.c: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4bench/CMakeLists.txt: seL4_libs/libsel4bench/CMakeLists.txt: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4bench/arch_include/arm/armv/armv6/sel4bench/armv/sel4bench.h: seL4_libs/libsel4bench/arch_include/arm/armv/armv6/sel4bench/armv/sel4bench.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4bench/arch_include/arm/armv/armv7-a/sel4bench/armv/events.h: seL4_libs/libsel4bench/arch_include/arm/armv/armv7-a/sel4bench/armv/events.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4bench/arch_include/arm/armv/armv7-a/sel4bench/armv/private.h: seL4_libs/libsel4bench/arch_include/arm/armv/armv7-a/sel4bench/armv/private.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4bench/arch_include/arm/armv/armv7-a/sel4bench/armv/sel4bench.h: seL4_libs/libsel4bench/arch_include/arm/armv/armv7-a/sel4bench/armv/sel4bench.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4bench/arch_include/arm/armv/armv8-a/sel4bench/armv/events.h: seL4_libs/libsel4bench/arch_include/arm/armv/armv8-a/sel4bench/armv/events.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4bench/arch_include/arm/armv/armv8-a/sel4bench/armv/private.h: seL4_libs/libsel4bench/arch_include/arm/armv/armv8-a/sel4bench/armv/private.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4bench/arch_include/arm/armv/armv8-a/sel4bench/armv/sel4bench.h: seL4_libs/libsel4bench/arch_include/arm/armv/armv8-a/sel4bench/armv/sel4bench.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4bench/arch_include/arm/cpu/arm1136jf-s/sel4bench/cpu/events.h: seL4_libs/libsel4bench/arch_include/arm/cpu/arm1136jf-s/sel4bench/cpu/events.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4bench/arch_include/arm/cpu/arm1136jf-s/sel4bench/cpu/private.h: seL4_libs/libsel4bench/arch_include/arm/cpu/arm1136jf-s/sel4bench/cpu/private.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4bench/arch_include/arm/cpu/arm1136jf-s/sel4bench/cpu/sel4bench.h: seL4_libs/libsel4bench/arch_include/arm/cpu/arm1136jf-s/sel4bench/cpu/sel4bench.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4bench/arch_include/arm/cpu/cortex-a15/sel4bench/cpu/events.h: seL4_libs/libsel4bench/arch_include/arm/cpu/cortex-a15/sel4bench/cpu/events.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4bench/arch_include/arm/cpu/cortex-a53/sel4bench/cpu/events.h: seL4_libs/libsel4bench/arch_include/arm/cpu/cortex-a53/sel4bench/cpu/events.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4bench/arch_include/arm/cpu/cortex-a57/sel4bench/cpu/events.h: seL4_libs/libsel4bench/arch_include/arm/cpu/cortex-a57/sel4bench/cpu/events.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4bench/arch_include/arm/cpu/cortex-a8/sel4bench/cpu/events.h: seL4_libs/libsel4bench/arch_include/arm/cpu/cortex-a8/sel4bench/cpu/events.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4bench/arch_include/arm/cpu/cortex-a9/sel4bench/cpu/events.h: seL4_libs/libsel4bench/arch_include/arm/cpu/cortex-a9/sel4bench/cpu/events.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4bench/arch_include/arm/sel4bench/arch/sel4bench.h: seL4_libs/libsel4bench/arch_include/arm/sel4bench/arch/sel4bench.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4bench/arch_include/riscv/sel4bench/arch/sel4bench.h: seL4_libs/libsel4bench/arch_include/riscv/sel4bench/arch/sel4bench.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4bench/arch_include/x86/sel4bench/arch/events.h: seL4_libs/libsel4bench/arch_include/x86/sel4bench/arch/events.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4bench/arch_include/x86/sel4bench/arch/private.h: seL4_libs/libsel4bench/arch_include/x86/sel4bench/arch/private.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4bench/arch_include/x86/sel4bench/arch/sel4bench.h: seL4_libs/libsel4bench/arch_include/x86/sel4bench/arch/sel4bench.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4bench/include/sel4bench/kernel_logging.h: seL4_libs/libsel4bench/include/sel4bench/kernel_logging.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4bench/include/sel4bench/logging.h: seL4_libs/libsel4bench/include/sel4bench/logging.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4bench/include/sel4bench/sel4bench.h: seL4_libs/libsel4bench/include/sel4bench/sel4bench.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4bench/include/sel4bench/types.h: seL4_libs/libsel4bench/include/sel4bench/types.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4bench/sel4_arch_include/aarch32/sel4bench/sel4_arch/sel4bench.h: seL4_libs/libsel4bench/sel4_arch_include/aarch32/sel4bench/sel4_arch/sel4bench.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4bench/sel4_arch_include/aarch64/sel4bench/sel4_arch/sel4bench.h: seL4_libs/libsel4bench/sel4_arch_include/aarch64/sel4bench/sel4_arch/sel4bench.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4bench/src/event_counters.c: seL4_libs/libsel4bench/src/event_counters.c: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4bench/src/event_counters.h: seL4_libs/libsel4bench/src/event_counters.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4bench/src/kernel_logging.c: seL4_libs/libsel4bench/src/kernel_logging.c: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4bench/src/logging.c: seL4_libs/libsel4bench/src/logging.c: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4bench/src/arch/arm/event_counters.c: seL4_libs/libsel4bench/src/arch/arm/event_counters.c: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4bench/src/arch/arm/event_counters.h: seL4_libs/libsel4bench/src/arch/arm/event_counters.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4bench/src/arch/arm/armv/armv7-a/event_counters.c: seL4_libs/libsel4bench/src/arch/arm/armv/armv7-a/event_counters.c: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4bench/src/arch/arm/armv/armv8-a/event_counters.c: seL4_libs/libsel4bench/src/arch/arm/armv/armv8-a/event_counters.c: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4bench/src/arch/arm/cpu/arm1136jf-s/event_counters.c: seL4_libs/libsel4bench/src/arch/arm/cpu/arm1136jf-s/event_counters.c: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4bench/src/arch/arm/cpu/cortex-a15/event_counters.c: seL4_libs/libsel4bench/src/arch/arm/cpu/cortex-a15/event_counters.c: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4bench/src/arch/arm/cpu/cortex-a53/event_counters.c: seL4_libs/libsel4bench/src/arch/arm/cpu/cortex-a53/event_counters.c: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4bench/src/arch/arm/cpu/cortex-a8/event_counters.c: seL4_libs/libsel4bench/src/arch/arm/cpu/cortex-a8/event_counters.c: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4bench/src/arch/arm/cpu/cortex-a9/event_counters.c: seL4_libs/libsel4bench/src/arch/arm/cpu/cortex-a9/event_counters.c: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4bench/src/arch/x86/event_counters.c: seL4_libs/libsel4bench/src/arch/x86/event_counters.c: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4debug/CMakeLists.txt: seL4_libs/libsel4debug/CMakeLists.txt: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4debug/README: seL4_libs/libsel4debug/README: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4debug/arch_include/arm/sel4debug/arch/registers.h: seL4_libs/libsel4debug/arch_include/arm/sel4debug/arch/registers.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4debug/arch_include/riscv/sel4debug/arch/registers.h: seL4_libs/libsel4debug/arch_include/riscv/sel4debug/arch/registers.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4debug/arch_include/x86/sel4debug/arch/registers.h: seL4_libs/libsel4debug/arch_include/x86/sel4debug/arch/registers.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4debug/include/sel4debug/debug.h: seL4_libs/libsel4debug/include/sel4debug/debug.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4debug/include/sel4debug/execinfo.h: seL4_libs/libsel4debug/include/sel4debug/execinfo.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4debug/include/sel4debug/identity.h: seL4_libs/libsel4debug/include/sel4debug/identity.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4debug/include/sel4debug/instrumentation.h: seL4_libs/libsel4debug/include/sel4debug/instrumentation.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4debug/include/sel4debug/register_dump.h: seL4_libs/libsel4debug/include/sel4debug/register_dump.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4debug/include/sel4debug/stack.h: seL4_libs/libsel4debug/include/sel4debug/stack.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4debug/include/sel4debug/stack_trace.h: seL4_libs/libsel4debug/include/sel4debug/stack_trace.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4debug/include/sel4debug/strerror.h: seL4_libs/libsel4debug/include/sel4debug/strerror.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4debug/include/sel4debug/trampoline.h: seL4_libs/libsel4debug/include/sel4debug/trampoline.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4debug/include/sel4debug/unknown_syscall.h: seL4_libs/libsel4debug/include/sel4debug/unknown_syscall.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4debug/include/sel4debug/user_exception.h: seL4_libs/libsel4debug/include/sel4debug/user_exception.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4debug/sel4_arch_include/aarch32/sel4debug/sel4_arch/registers.h: seL4_libs/libsel4debug/sel4_arch_include/aarch32/sel4debug/sel4_arch/registers.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4debug/sel4_arch_include/aarch64/sel4debug/sel4_arch/registers.h: seL4_libs/libsel4debug/sel4_arch_include/aarch64/sel4debug/sel4_arch/registers.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4debug/sel4_arch_include/ia32/sel4debug/sel4_arch/registers.h: seL4_libs/libsel4debug/sel4_arch_include/ia32/sel4debug/sel4_arch/registers.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4debug/sel4_arch_include/x86_64/sel4debug/sel4_arch/registers.h: seL4_libs/libsel4debug/sel4_arch_include/x86_64/sel4debug/sel4_arch/registers.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4debug/src/alloc.c: seL4_libs/libsel4debug/src/alloc.c: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4debug/src/backtrace.c: seL4_libs/libsel4debug/src/backtrace.c: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4debug/src/bootinfo.c: seL4_libs/libsel4debug/src/bootinfo.c: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4debug/src/caps.c: seL4_libs/libsel4debug/src/caps.c: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4debug/src/identity-internal.h: seL4_libs/libsel4debug/src/identity-internal.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4debug/src/identity.c: seL4_libs/libsel4debug/src/identity.c: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4debug/src/printf.c: seL4_libs/libsel4debug/src/printf.c: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4debug/src/register_dump.c: seL4_libs/libsel4debug/src/register_dump.c: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4debug/src/stack.c: seL4_libs/libsel4debug/src/stack.c: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4debug/src/trace.c: seL4_libs/libsel4debug/src/trace.c: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4debug/src/sel4_arch/aarch32/trampoline.S: seL4_libs/libsel4debug/src/sel4_arch/aarch32/trampoline.S: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4debug/src/sel4_arch/aarch32/unknown_syscall.c: seL4_libs/libsel4debug/src/sel4_arch/aarch32/unknown_syscall.c: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4debug/src/sel4_arch/aarch32/user_exception.c: seL4_libs/libsel4debug/src/sel4_arch/aarch32/user_exception.c: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4debug/src/sel4_arch/ia32/stack_trace.c: seL4_libs/libsel4debug/src/sel4_arch/ia32/stack_trace.c: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4debug/src/sel4_arch/ia32/trampoline.S: seL4_libs/libsel4debug/src/sel4_arch/ia32/trampoline.S: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4debug/src/sel4_arch/ia32/unknown_syscall.c: seL4_libs/libsel4debug/src/sel4_arch/ia32/unknown_syscall.c: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4debug/src/sel4_arch/ia32/user_exception.c: seL4_libs/libsel4debug/src/sel4_arch/ia32/user_exception.c: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4muslcsys/CMakeLists.txt: seL4_libs/libsel4muslcsys/CMakeLists.txt: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4muslcsys/README: seL4_libs/libsel4muslcsys/README: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4muslcsys/include/arch_stdio.h: seL4_libs/libsel4muslcsys/include/arch_stdio.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4muslcsys/include/muslcsys/io.h: seL4_libs/libsel4muslcsys/include/muslcsys/io.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4muslcsys/include/muslcsys/vsyscall.h: seL4_libs/libsel4muslcsys/include/muslcsys/vsyscall.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4muslcsys/src/sys_exit.c: seL4_libs/libsel4muslcsys/src/sys_exit.c: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4muslcsys/src/sys_io.c: seL4_libs/libsel4muslcsys/src/sys_io.c: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4muslcsys/src/sys_morecore.c: seL4_libs/libsel4muslcsys/src/sys_morecore.c: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4muslcsys/src/sys_thread.c: seL4_libs/libsel4muslcsys/src/sys_thread.c: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4muslcsys/src/sys_yield.c: seL4_libs/libsel4muslcsys/src/sys_yield.c: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4muslcsys/src/syscalls.h: seL4_libs/libsel4muslcsys/src/syscalls.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4muslcsys/src/vsyscall.c: seL4_libs/libsel4muslcsys/src/vsyscall.c: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4platsupport/CMakeLists.txt: seL4_libs/libsel4platsupport/CMakeLists.txt: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4platsupport/arch_include/arm/sel4platsupport/arch/io.h: seL4_libs/libsel4platsupport/arch_include/arm/sel4platsupport/arch/io.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4platsupport/arch_include/x86/sel4platsupport/arch/io.h: seL4_libs/libsel4platsupport/arch_include/x86/sel4platsupport/arch/io.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4platsupport/include/sel4platsupport/bootinfo.h: seL4_libs/libsel4platsupport/include/sel4platsupport/bootinfo.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4platsupport/include/sel4platsupport/device.h: seL4_libs/libsel4platsupport/include/sel4platsupport/device.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4platsupport/include/sel4platsupport/io.h: seL4_libs/libsel4platsupport/include/sel4platsupport/io.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4platsupport/include/sel4platsupport/irq.h: seL4_libs/libsel4platsupport/include/sel4platsupport/irq.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4platsupport/include/sel4platsupport/platsupport.h: seL4_libs/libsel4platsupport/include/sel4platsupport/platsupport.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4platsupport/include/sel4platsupport/pmem.h: seL4_libs/libsel4platsupport/include/sel4platsupport/pmem.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4platsupport/include/sel4platsupport/timer.h: seL4_libs/libsel4platsupport/include/sel4platsupport/timer.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4platsupport/src/bootinfo.c: seL4_libs/libsel4platsupport/src/bootinfo.c: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4platsupport/src/common.c: seL4_libs/libsel4platsupport/src/common.c: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4platsupport/src/device.c: seL4_libs/libsel4platsupport/src/device.c: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4platsupport/src/io.c: seL4_libs/libsel4platsupport/src/io.c: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4platsupport/src/irq.c: seL4_libs/libsel4platsupport/src/irq.c: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4platsupport/src/plat_internal.h: seL4_libs/libsel4platsupport/src/plat_internal.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4platsupport/src/serial.c: seL4_libs/libsel4platsupport/src/serial.c: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4platsupport/src/timer.c: seL4_libs/libsel4platsupport/src/timer.c: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4platsupport/src/arch/arm/device.c: seL4_libs/libsel4platsupport/src/arch/arm/device.c: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4platsupport/src/arch/arm/io_port_ops.c: seL4_libs/libsel4platsupport/src/arch/arm/io_port_ops.c: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4platsupport/src/arch/arm/pmem.c: seL4_libs/libsel4platsupport/src/arch/arm/pmem.c: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4platsupport/src/arch/x86/io_port_ops.c: seL4_libs/libsel4platsupport/src/arch/x86/io_port_ops.c: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4platsupport/src/arch/x86/pmem.c: seL4_libs/libsel4platsupport/src/arch/x86/pmem.c: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4platsupport/src/plat/pc99/device.c: seL4_libs/libsel4platsupport/src/plat/pc99/device.c: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4platsupport/src/sel4_arch/aarch32/crt0.S: seL4_libs/libsel4platsupport/src/sel4_arch/aarch32/crt0.S: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4platsupport/src/sel4_arch/aarch64/crt0.S: seL4_libs/libsel4platsupport/src/sel4_arch/aarch64/crt0.S: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4platsupport/src/sel4_arch/ia32/crt0.S: seL4_libs/libsel4platsupport/src/sel4_arch/ia32/crt0.S: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4platsupport/src/sel4_arch/x86_64/crt0.S: seL4_libs/libsel4platsupport/src/sel4_arch/x86_64/crt0.S: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4serialserver/CMakeLists.txt: seL4_libs/libsel4serialserver/CMakeLists.txt: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4serialserver/README.md: seL4_libs/libsel4serialserver/README.md: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4serialserver/include/serial_server/client.h: seL4_libs/libsel4serialserver/include/serial_server/client.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4serialserver/include/serial_server/parent.h: seL4_libs/libsel4serialserver/include/serial_server/parent.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4serialserver/include/serial_server/test.h: seL4_libs/libsel4serialserver/include/serial_server/test.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4serialserver/src/clientapi.c: seL4_libs/libsel4serialserver/src/clientapi.c: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4serialserver/src/parentapi.c: seL4_libs/libsel4serialserver/src/parentapi.c: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4serialserver/src/serial_server.h: seL4_libs/libsel4serialserver/src/serial_server.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4serialserver/src/server.c: seL4_libs/libsel4serialserver/src/server.c: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4serialserver/src/test.c: seL4_libs/libsel4serialserver/src/test.c: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4simple-default/CMakeLists.txt: seL4_libs/libsel4simple-default/CMakeLists.txt: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4simple-default/include/simple-default/simple-default.h: seL4_libs/libsel4simple-default/include/simple-default/simple-default.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4simple-default/src/libsel4simple-default.c: seL4_libs/libsel4simple-default/src/libsel4simple-default.c: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4simple-default/src/arch/arm/default.c: seL4_libs/libsel4simple-default/src/arch/arm/default.c: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4simple-default/src/arch/riscv/default.c: seL4_libs/libsel4simple-default/src/arch/riscv/default.c: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4simple-default/src/arch/x86/default.c: seL4_libs/libsel4simple-default/src/arch/x86/default.c: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4simple/CMakeLists.txt: seL4_libs/libsel4simple/CMakeLists.txt: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4simple/arch_include/arm/simple/arch/simple.h: seL4_libs/libsel4simple/arch_include/arm/simple/arch/simple.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4simple/arch_include/x86/simple/arch/simple.h: seL4_libs/libsel4simple/arch_include/x86/simple/arch/simple.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4simple/include/simple/simple.h: seL4_libs/libsel4simple/include/simple/simple.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4simple/include/simple/simple_helpers.h: seL4_libs/libsel4simple/include/simple/simple_helpers.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4simple/src/simple.c: seL4_libs/libsel4simple/src/simple.c: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4sync/CMakeLists.txt: seL4_libs/libsel4sync/CMakeLists.txt: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4sync/README.md: seL4_libs/libsel4sync/README.md: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4sync/include/sync/bin_sem.h: seL4_libs/libsel4sync/include/sync/bin_sem.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4sync/include/sync/bin_sem_bare.h: seL4_libs/libsel4sync/include/sync/bin_sem_bare.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4sync/include/sync/condition_var.h: seL4_libs/libsel4sync/include/sync/condition_var.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4sync/include/sync/mutex.h: seL4_libs/libsel4sync/include/sync/mutex.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4sync/include/sync/recursive_mutex.h: seL4_libs/libsel4sync/include/sync/recursive_mutex.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4sync/include/sync/sem-bare.h: seL4_libs/libsel4sync/include/sync/sem-bare.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4sync/include/sync/sem.h: seL4_libs/libsel4sync/include/sync/sem.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4sync/spin/binary-sem/Makefile: seL4_libs/libsel4sync/spin/binary-sem/Makefile: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4sync/spin/binary-sem/binary-sem.pml: seL4_libs/libsel4sync/spin/binary-sem/binary-sem.pml: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4sync/spin/condition-vars/Makefile: seL4_libs/libsel4sync/spin/condition-vars/Makefile: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4sync/spin/condition-vars/cv.pml: seL4_libs/libsel4sync/spin/condition-vars/cv.pml: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4sync/spin/notification-semaphore/Makefile: seL4_libs/libsel4sync/spin/notification-semaphore/Makefile: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4sync/spin/notification-semaphore/semaphore.pml: seL4_libs/libsel4sync/spin/notification-semaphore/semaphore.pml: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4sync/spin/sem/Makefile: seL4_libs/libsel4sync/spin/sem/Makefile: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4sync/spin/sem/sem.promela: seL4_libs/libsel4sync/spin/sem/sem.promela: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4sync/src/recursive_mutex.c: seL4_libs/libsel4sync/src/recursive_mutex.c: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4test/CMakeLists.txt: seL4_libs/libsel4test/CMakeLists.txt: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4test/README: seL4_libs/libsel4test/README: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4test/include/sel4test/macros.h: seL4_libs/libsel4test/include/sel4test/macros.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4test/include/sel4test/test.h: seL4_libs/libsel4test/include/sel4test/test.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4test/include/sel4test/testutil.h: seL4_libs/libsel4test/include/sel4test/testutil.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4test/src/testutil.c: seL4_libs/libsel4test/src/testutil.c: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4test/tools/extract_results.py: seL4_libs/libsel4test/tools/extract_results.py: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4utils/CMakeLists.txt: seL4_libs/libsel4utils/CMakeLists.txt: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4utils/README.md: seL4_libs/libsel4utils/README.md: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4utils/arch_include/arm/sel4utils/arch/cache.h: seL4_libs/libsel4utils/arch_include/arm/sel4utils/arch/cache.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4utils/arch_include/arm/sel4utils/arch/page.h: seL4_libs/libsel4utils/arch_include/arm/sel4utils/arch/page.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4utils/arch_include/arm/sel4utils/arch/util.h: seL4_libs/libsel4utils/arch_include/arm/sel4utils/arch/util.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4utils/arch_include/arm/sel4utils/arch/vspace.h: seL4_libs/libsel4utils/arch_include/arm/sel4utils/arch/vspace.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4utils/arch_include/riscv/sel4utils/arch/cache.h: seL4_libs/libsel4utils/arch_include/riscv/sel4utils/arch/cache.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4utils/arch_include/riscv/sel4utils/arch/page.h: seL4_libs/libsel4utils/arch_include/riscv/sel4utils/arch/page.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4utils/arch_include/riscv/sel4utils/arch/util.h: seL4_libs/libsel4utils/arch_include/riscv/sel4utils/arch/util.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4utils/arch_include/riscv/sel4utils/arch/vspace.h: seL4_libs/libsel4utils/arch_include/riscv/sel4utils/arch/vspace.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4utils/arch_include/x86/sel4utils/arch/cache.h: seL4_libs/libsel4utils/arch_include/x86/sel4utils/arch/cache.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4utils/arch_include/x86/sel4utils/arch/page.h: seL4_libs/libsel4utils/arch_include/x86/sel4utils/arch/page.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4utils/arch_include/x86/sel4utils/arch/tsc.h: seL4_libs/libsel4utils/arch_include/x86/sel4utils/arch/tsc.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4utils/arch_include/x86/sel4utils/arch/util.h: seL4_libs/libsel4utils/arch_include/x86/sel4utils/arch/util.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4utils/arch_include/x86/sel4utils/arch/vspace.h: seL4_libs/libsel4utils/arch_include/x86/sel4utils/arch/vspace.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4utils/include/sel4utils/api.h: seL4_libs/libsel4utils/include/sel4utils/api.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4utils/include/sel4utils/benchmark.h: seL4_libs/libsel4utils/include/sel4utils/benchmark.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4utils/include/sel4utils/benchmark_track.h: seL4_libs/libsel4utils/include/sel4utils/benchmark_track.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4utils/include/sel4utils/elf.h: seL4_libs/libsel4utils/include/sel4utils/elf.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4utils/include/sel4utils/helpers.h: seL4_libs/libsel4utils/include/sel4utils/helpers.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4utils/include/sel4utils/iommu_dma.h: seL4_libs/libsel4utils/include/sel4utils/iommu_dma.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4utils/include/sel4utils/irq_server.h: seL4_libs/libsel4utils/include/sel4utils/irq_server.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4utils/include/sel4utils/mapping.h: seL4_libs/libsel4utils/include/sel4utils/mapping.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4utils/include/sel4utils/mcs_api.h: seL4_libs/libsel4utils/include/sel4utils/mcs_api.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4utils/include/sel4utils/page.h: seL4_libs/libsel4utils/include/sel4utils/page.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4utils/include/sel4utils/page_dma.h: seL4_libs/libsel4utils/include/sel4utils/page_dma.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4utils/include/sel4utils/process.h: seL4_libs/libsel4utils/include/sel4utils/process.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4utils/include/sel4utils/process_config.h: seL4_libs/libsel4utils/include/sel4utils/process_config.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4utils/include/sel4utils/profile.h: seL4_libs/libsel4utils/include/sel4utils/profile.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4utils/include/sel4utils/sel4_zf_logif.h: seL4_libs/libsel4utils/include/sel4utils/sel4_zf_logif.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4utils/include/sel4utils/slab.h: seL4_libs/libsel4utils/include/sel4utils/slab.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4utils/include/sel4utils/stack.h: seL4_libs/libsel4utils/include/sel4utils/stack.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4utils/include/sel4utils/strerror.h: seL4_libs/libsel4utils/include/sel4utils/strerror.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4utils/include/sel4utils/thread.h: seL4_libs/libsel4utils/include/sel4utils/thread.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4utils/include/sel4utils/thread_config.h: seL4_libs/libsel4utils/include/sel4utils/thread_config.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4utils/include/sel4utils/util.h: seL4_libs/libsel4utils/include/sel4utils/util.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4utils/include/sel4utils/vspace.h: seL4_libs/libsel4utils/include/sel4utils/vspace.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4utils/include/sel4utils/vspace_internal.h: seL4_libs/libsel4utils/include/sel4utils/vspace_internal.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4utils/include/sel4utils/time_server/client.h: seL4_libs/libsel4utils/include/sel4utils/time_server/client.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4utils/sel4_arch_include/aarch32/sel4utils/sel4_arch/cache.h: seL4_libs/libsel4utils/sel4_arch_include/aarch32/sel4utils/sel4_arch/cache.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4utils/sel4_arch_include/aarch32/sel4utils/sel4_arch/util.h: seL4_libs/libsel4utils/sel4_arch_include/aarch32/sel4utils/sel4_arch/util.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4utils/sel4_arch_include/aarch32/sel4utils/sel4_arch/vspace.h: seL4_libs/libsel4utils/sel4_arch_include/aarch32/sel4utils/sel4_arch/vspace.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4utils/sel4_arch_include/aarch64/sel4utils/sel4_arch/cache.h: seL4_libs/libsel4utils/sel4_arch_include/aarch64/sel4utils/sel4_arch/cache.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4utils/sel4_arch_include/aarch64/sel4utils/sel4_arch/util.h: seL4_libs/libsel4utils/sel4_arch_include/aarch64/sel4utils/sel4_arch/util.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4utils/sel4_arch_include/aarch64/sel4utils/sel4_arch/vspace.h: seL4_libs/libsel4utils/sel4_arch_include/aarch64/sel4utils/sel4_arch/vspace.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4utils/sel4_arch_include/ia32/sel4utils/sel4_arch/util.h: seL4_libs/libsel4utils/sel4_arch_include/ia32/sel4utils/sel4_arch/util.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4utils/sel4_arch_include/ia32/sel4utils/sel4_arch/vspace.h: seL4_libs/libsel4utils/sel4_arch_include/ia32/sel4utils/sel4_arch/vspace.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4utils/sel4_arch_include/x86_64/sel4utils/sel4_arch/util.h: seL4_libs/libsel4utils/sel4_arch_include/x86_64/sel4utils/sel4_arch/util.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4utils/sel4_arch_include/x86_64/sel4utils/sel4_arch/vspace.h: seL4_libs/libsel4utils/sel4_arch_include/x86_64/sel4utils/sel4_arch/vspace.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4utils/src/elf.c: seL4_libs/libsel4utils/src/elf.c: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4utils/src/iommu_dma.c: seL4_libs/libsel4utils/src/iommu_dma.c: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4utils/src/mapping.c: seL4_libs/libsel4utils/src/mapping.c: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4utils/src/page_dma.c: seL4_libs/libsel4utils/src/page_dma.c: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4utils/src/process.c: seL4_libs/libsel4utils/src/process.c: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4utils/src/profile.c: seL4_libs/libsel4utils/src/profile.c: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4utils/src/slab.c: seL4_libs/libsel4utils/src/slab.c: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4utils/src/stack.c: seL4_libs/libsel4utils/src/stack.c: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4utils/src/strerror.c: seL4_libs/libsel4utils/src/strerror.c: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4utils/src/thread.c: seL4_libs/libsel4utils/src/thread.c: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4utils/src/arch/riscv/arch.c: seL4_libs/libsel4utils/src/arch/riscv/arch.c: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4utils/src/irq_server/irq_server.c: seL4_libs/libsel4utils/src/irq_server/irq_server.c: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4utils/src/sel4_arch/aarch32/arch.c: seL4_libs/libsel4utils/src/sel4_arch/aarch32/arch.c: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4utils/src/sel4_arch/aarch64/arch.c: seL4_libs/libsel4utils/src/sel4_arch/aarch64/arch.c: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4utils/src/sel4_arch/ia32/arch.c: seL4_libs/libsel4utils/src/sel4_arch/ia32/arch.c: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4utils/src/sel4_arch/x86_64/arch.c: seL4_libs/libsel4utils/src/sel4_arch/x86_64/arch.c: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4utils/src/time_server/client.c: seL4_libs/libsel4utils/src/time_server/client.c: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4utils/src/vspace/bootstrap.c: seL4_libs/libsel4utils/src/vspace/bootstrap.c: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4utils/src/vspace/vspace.c: seL4_libs/libsel4utils/src/vspace/vspace.c: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4vka/CMakeLists.txt: seL4_libs/libsel4vka/CMakeLists.txt: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4vka/arch_include/arm/vka/arch/kobject_t.h: seL4_libs/libsel4vka/arch_include/arm/vka/arch/kobject_t.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4vka/arch_include/arm/vka/arch/object.h: seL4_libs/libsel4vka/arch_include/arm/vka/arch/object.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4vka/arch_include/riscv/vka/arch/kobject_t.h: seL4_libs/libsel4vka/arch_include/riscv/vka/arch/kobject_t.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4vka/arch_include/riscv/vka/arch/object.h: seL4_libs/libsel4vka/arch_include/riscv/vka/arch/object.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4vka/arch_include/x86/vka/arch/kobject_t.h: seL4_libs/libsel4vka/arch_include/x86/vka/arch/kobject_t.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4vka/arch_include/x86/vka/arch/object.h: seL4_libs/libsel4vka/arch_include/x86/vka/arch/object.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4vka/include/vka/capops.h: seL4_libs/libsel4vka/include/vka/capops.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4vka/include/vka/cspacepath_t.h: seL4_libs/libsel4vka/include/vka/cspacepath_t.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4vka/include/vka/debug-vka.h: seL4_libs/libsel4vka/include/vka/debug-vka.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4vka/include/vka/ipcbuffer.h: seL4_libs/libsel4vka/include/vka/ipcbuffer.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4vka/include/vka/kobject_t.h: seL4_libs/libsel4vka/include/vka/kobject_t.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4vka/include/vka/null-vka.h: seL4_libs/libsel4vka/include/vka/null-vka.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4vka/include/vka/object.h: seL4_libs/libsel4vka/include/vka/object.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4vka/include/vka/object_capops.h: seL4_libs/libsel4vka/include/vka/object_capops.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4vka/include/vka/vka.h: seL4_libs/libsel4vka/include/vka/vka.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4vka/sel4_arch_include/aarch32/vka/sel4_arch/kobject_t.h: seL4_libs/libsel4vka/sel4_arch_include/aarch32/vka/sel4_arch/kobject_t.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4vka/sel4_arch_include/aarch32/vka/sel4_arch/object.h: seL4_libs/libsel4vka/sel4_arch_include/aarch32/vka/sel4_arch/object.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4vka/sel4_arch_include/aarch64/vka/sel4_arch/kobject_t.h: seL4_libs/libsel4vka/sel4_arch_include/aarch64/vka/sel4_arch/kobject_t.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4vka/sel4_arch_include/aarch64/vka/sel4_arch/object.h: seL4_libs/libsel4vka/sel4_arch_include/aarch64/vka/sel4_arch/object.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4vka/sel4_arch_include/ia32/vka/sel4_arch/kobject_t.h: seL4_libs/libsel4vka/sel4_arch_include/ia32/vka/sel4_arch/kobject_t.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4vka/sel4_arch_include/ia32/vka/sel4_arch/object.h: seL4_libs/libsel4vka/sel4_arch_include/ia32/vka/sel4_arch/object.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4vka/sel4_arch_include/x86_64/vka/sel4_arch/kobject_t.h: seL4_libs/libsel4vka/sel4_arch_include/x86_64/vka/sel4_arch/kobject_t.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4vka/sel4_arch_include/x86_64/vka/sel4_arch/object.h: seL4_libs/libsel4vka/sel4_arch_include/x86_64/vka/sel4_arch/object.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4vka/src/debug-vka.c: seL4_libs/libsel4vka/src/debug-vka.c: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4vka/src/null-vka.c: seL4_libs/libsel4vka/src/null-vka.c: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4vspace/CMakeLists.txt: seL4_libs/libsel4vspace/CMakeLists.txt: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4vspace/arch_include/arm/vspace/arch/page.h: seL4_libs/libsel4vspace/arch_include/arm/vspace/arch/page.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4vspace/arch_include/riscv/vspace/arch/page.h: seL4_libs/libsel4vspace/arch_include/riscv/vspace/arch/page.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4vspace/arch_include/x86/vspace/arch/page.h: seL4_libs/libsel4vspace/arch_include/x86/vspace/arch/page.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4vspace/include/vspace/mapping.h: seL4_libs/libsel4vspace/include/vspace/mapping.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4vspace/include/vspace/page.h: seL4_libs/libsel4vspace/include/vspace/page.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4vspace/include/vspace/vspace.h: seL4_libs/libsel4vspace/include/vspace/vspace.h: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4vspace/src/vspace.c: seL4_libs/libsel4vspace/src/vspace.c: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4vspace/src/arch/arm/mapping.c: seL4_libs/libsel4vspace/src/arch/arm/mapping.c: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4vspace/src/arch/riscv/mapping.c: seL4_libs/libsel4vspace/src/arch/riscv/mapping.c: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4vspace/src/arch/x86/mapping.c: seL4_libs/libsel4vspace/src/arch/x86/mapping.c: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4vspace/src/sel4_arch/aarch32/mapping.c: seL4_libs/libsel4vspace/src/sel4_arch/aarch32/mapping.c: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4vspace/src/sel4_arch/aarch64/mapping.c: seL4_libs/libsel4vspace/src/sel4_arch/aarch64/mapping.c: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4vspace/src/sel4_arch/ia32/mapping.c: seL4_libs/libsel4vspace/src/sel4_arch/ia32/mapping.c: no owner found
10-Feb-2021 19:38:13 ERROR:root:seL4_libs/libsel4vspace/src/sel4_arch/x86_64/mapping.c: seL4_libs/libsel4vspace/src/sel4_arch/x86_64/mapping.c: no owner found
10-Feb-2021 19:38:13 Failing task since return code of [/var/atlassian/application-data/bamboo/temp/CQ-SEL4LIBSCL79-SEL4LIBSLICCQ-1-ScriptBuildTask-2197460010244401366.sh] was 1 while expected 0
10-Feb-2021 19:38:13 Finished task 'Check license' with result: Failed
10-Feb-2021 19:38:13 Starting task 'Set permissions so Bamboo can cleanup' of type 'com.atlassian.bamboo.plugins.scripttask:task.builder.script'
10-Feb-2021 19:38:13 + chmod -R o+rwx /var/atlassian/application-data/bamboo/xml-data/build-dir/151224373/CQ-SEL4LIBSCL79-SEL4LIBSLICCQ
10-Feb-2021 19:38:13 Finished task 'Set permissions so Bamboo can cleanup' with result: Success
10-Feb-2021 19:38:13 Running post build plugin 'NCover Results Collector'
10-Feb-2021 19:38:13 Running post build plugin 'Artifact Copier'
10-Feb-2021 19:38:13 Running post build plugin 'npm Cache Cleanup'
10-Feb-2021 19:38:13 Running post build plugin 'Clover Results Collector'
10-Feb-2021 19:38:13 Running post build plugin 'Docker Container Cleanup'
10-Feb-2021 19:38:13 Successfully removed working directory at '/var/atlassian/application-data/bamboo/xml-data/build-dir/151224373/CQ-SEL4LIBSCL79-SEL4LIBSLICCQ'
10-Feb-2021 19:38:13 Finalising the build...
10-Feb-2021 19:38:13 Stopping timer.
10-Feb-2021 19:38:13 Build CQ-SEL4LIBSCL79-SEL4LIBSLICCQ-1 completed.
10-Feb-2021 19:38:13 Running on server: post build plugin 'NCover Results Collector'
10-Feb-2021 19:38:13 Running on server: post build plugin 'Build Hanging Detection Configuration'
10-Feb-2021 19:38:13 Running on server: post build plugin 'Clover Delta Calculator'
10-Feb-2021 19:38:13 Running on server: post build plugin 'Maven Dependencies Postprocessor'
10-Feb-2021 19:38:13 All post build plugins have finished
10-Feb-2021 19:38:13 Generating build results summary...
10-Feb-2021 19:38:13 Saving build results to disk...
10-Feb-2021 19:38:13 Store variable context...
10-Feb-2021 19:38:13 Indexing build results...
10-Feb-2021 19:38:13 Finished building CQ-SEL4LIBSCL79-SEL4LIBSLICCQ-1.| Project | Stage | Result summary |
|---|---|---|
| Code Quality - Style - seL4_libs - EXT-seL4-spdx-26 | Style check on changed files | 1 of 3 jobs failed |
Job: style Build logs
10-Feb-2021 19:38:13 Build Code Quality - Style - seL4_libs - EXT-seL4-spdx-26 - style #1 (CQ-SEL4LIBSSTYLE78-SEL4LIBSSTYLEPR-1) started building on agent A local agent 1, bamboo version: 7.1.4
10-Feb-2021 19:38:13 I run on the Bamboo server!
10-Feb-2021 19:38:13 Build working directory is /var/atlassian/application-data/bamboo/xml-data/build-dir/140083221/CQ-SEL4LIBSSTYLE78-SEL4LIBSSTYLEPR
10-Feb-2021 19:38:13 Executing build Code Quality - Style - seL4_libs - EXT-seL4-spdx-26 - style #1 (CQ-SEL4LIBSSTYLE78-SEL4LIBSSTYLEPR-1)
10-Feb-2021 19:38:13 Preparing artifact 'code' for use at /var/atlassian/application-data/bamboo/xml-data/build-dir/140083221/CQ-SEL4LIBSSTYLE78-SEL4LIBSSTYLEPR/. (location: .)
10-Feb-2021 19:38:13 Artifact 'code' prepared in 10.79 ms at /var/atlassian/application-data/bamboo/xml-data/build-dir/140083221/CQ-SEL4LIBSSTYLE78-SEL4LIBSSTYLEPR/./code.tar.gz
10-Feb-2021 19:38:13 Running pre-build action: VCS Version Collector
10-Feb-2021 19:38:13 Starting task 'Untar code' of type 'com.atlassian.bamboo.plugins.scripttask:task.builder.script'
10-Feb-2021 19:38:13 + tar xf code.tar.gz --recursive-unlink
10-Feb-2021 19:38:13 Finished task 'Untar code' with result: Success
10-Feb-2021 19:38:13 Starting task 'Set permissions so Bamboo can cleanup' of type 'com.atlassian.bamboo.plugins.scripttask:task.builder.script'
10-Feb-2021 19:38:13 + chmod -R o+rwx /var/atlassian/application-data/bamboo/xml-data/build-dir/140083221/CQ-SEL4LIBSSTYLE78-SEL4LIBSSTYLEPR
10-Feb-2021 19:38:13 Finished task 'Set permissions so Bamboo can cleanup' with result: Success
10-Feb-2021 19:38:13 Starting task 'Check style of changed files' of type 'com.atlassian.bamboo.plugins.scripttask:task.builder.script'
10-Feb-2021 19:38:13 + cd seL4_libs
10-Feb-2021 19:38:13 + xargs -d '\n' /var/atlassian/application-data/bamboo/xml-data/build-dir/140083221/CQ-SEL4LIBSSTYLE78-SEL4LIBSSTYLEPR/standard_seL4_tools/misc/style.sh
10-Feb-2021 19:38:13 ++ git merge-base 600fe15be5d8d28b68a1f85fa4e5e8d131fde1bc 3c18332edd44adefd848c895053a538c68106677
10-Feb-2021 19:38:13 + git diff --name-only 600fe15be5d8d28b68a1f85fa4e5e8d131fde1bc 3c18332edd44adefd848c895053a538c68106677
10-Feb-2021 19:38:14 Unchanged libsel4allocman/arch/arm/allocman/arch/reservation.h
10-Feb-2021 19:38:14 Formatted libsel4allocman/arch/riscv/allocman/arch/reservation.h
10-Feb-2021 19:38:14 Unchanged libsel4allocman/arch/x86/allocman/arch/reservation.h
10-Feb-2021 19:38:14 Formatted libsel4allocman/example_bootstrap.c
10-Feb-2021 19:38:14 Formatted libsel4allocman/include/allocman/allocman.h
10-Feb-2021 19:38:14 Formatted libsel4allocman/include/allocman/bootstrap.h
10-Feb-2021 19:38:14 Unchanged libsel4allocman/include/allocman/cspace/cspace.h
10-Feb-2021 19:38:14 Formatted libsel4allocman/include/allocman/cspace/simple1level.h
10-Feb-2021 19:38:14 Formatted libsel4allocman/include/allocman/cspace/single_level.h
10-Feb-2021 19:38:14 Formatted libsel4allocman/include/allocman/cspace/two_level.h
10-Feb-2021 19:38:14 Formatted libsel4allocman/include/allocman/cspace/vka.h
10-Feb-2021 19:38:14 Formatted libsel4allocman/include/allocman/cspaceops.h
10-Feb-2021 19:38:14 Formatted libsel4allocman/include/allocman/mspace/dual_pool.h
10-Feb-2021 19:38:14 Formatted libsel4allocman/include/allocman/mspace/fixed_pool.h
10-Feb-2021 19:38:14 Formatted libsel4allocman/include/allocman/mspace/k_r_malloc.h
10-Feb-2021 19:38:14 Unchanged libsel4allocman/include/allocman/mspace/malloc.h
10-Feb-2021 19:38:14 Unchanged libsel4allocman/include/allocman/mspace/mspace.h
10-Feb-2021 19:38:14 Unchanged libsel4allocman/include/allocman/mspace/null.h
10-Feb-2021 19:38:14 Formatted libsel4allocman/include/allocman/mspace/virtual_pool.h
10-Feb-2021 19:38:14 Formatted libsel4allocman/include/allocman/mspace/vspace_pool.h
10-Feb-2021 19:38:14 Unchanged libsel4allocman/include/allocman/properties.h
10-Feb-2021 19:38:14 Unchanged libsel4allocman/include/allocman/util.h
10-Feb-2021 19:38:14 Formatted libsel4allocman/include/allocman/utspace/split.h
10-Feb-2021 19:38:14 Formatted libsel4allocman/include/allocman/utspace/twinkle.h
10-Feb-2021 19:38:14 Formatted libsel4allocman/include/allocman/utspace/utspace.h
10-Feb-2021 19:38:14 Formatted libsel4allocman/include/allocman/utspace/vka.h
10-Feb-2021 19:38:14 Unchanged libsel4allocman/include/allocman/vka.h
10-Feb-2021 19:38:14 Formatted libsel4allocman/sel4_arch/aarch32/allocman/sel4_arch/reservation.h
10-Feb-2021 19:38:14 Formatted libsel4allocman/sel4_arch/aarch64/allocman/sel4_arch/reservation.h
10-Feb-2021 19:38:14 Formatted libsel4allocman/sel4_arch/ia32/allocman/sel4_arch/reservation.h
10-Feb-2021 19:38:14 Formatted libsel4allocman/sel4_arch/x86_64/allocman/sel4_arch/reservation.h
10-Feb-2021 19:38:14 Formatted libsel4allocman/src/allocman.c
10-Feb-2021 19:38:14 Formatted libsel4allocman/src/bootstrap.c
10-Feb-2021 19:38:14 Formatted libsel4allocman/src/cspace/simple1level.c
10-Feb-2021 19:38:14 Formatted libsel4allocman/src/cspace/single_level.c
10-Feb-2021 19:38:14 Unchanged libsel4allocman/src/cspace/two_level.c
10-Feb-2021 19:38:14 Formatted libsel4allocman/src/mspace/dual_pool.c
10-Feb-2021 19:38:14 Formatted libsel4allocman/src/mspace/fixed_pool.c
10-Feb-2021 19:38:14 Formatted libsel4allocman/src/mspace/k_r_malloc.c
10-Feb-2021 19:38:14 Unchanged libsel4allocman/src/mspace/malloc.c
10-Feb-2021 19:38:14 Formatted libsel4allocman/src/mspace/virtual_pool.c
10-Feb-2021 19:38:14 Formatted libsel4allocman/src/mspace/vspace_pool.c
10-Feb-2021 19:38:14 Unchanged libsel4allocman/src/utspace/split.c
10-Feb-2021 19:38:14 Unchanged libsel4allocman/src/utspace/twinkle.c
10-Feb-2021 19:38:14 Formatted libsel4allocman/src/vka.c
10-Feb-2021 19:38:14 Unchanged libsel4bench/arch_include/arm/armv/armv6/sel4bench/armv/sel4bench.h
10-Feb-2021 19:38:14 Unchanged libsel4bench/arch_include/arm/armv/armv7-a/sel4bench/armv/events.h
10-Feb-2021 19:38:14 Formatted libsel4bench/arch_include/arm/armv/armv7-a/sel4bench/armv/private.h
10-Feb-2021 19:38:14 Unchanged libsel4bench/arch_include/arm/armv/armv7-a/sel4bench/armv/sel4bench.h
10-Feb-2021 19:38:14 Unchanged libsel4bench/arch_include/arm/armv/armv8-a/sel4bench/armv/events.h
10-Feb-2021 19:38:14 Formatted libsel4bench/arch_include/arm/armv/armv8-a/sel4bench/armv/private.h
10-Feb-2021 19:38:14 Unchanged libsel4bench/arch_include/arm/armv/armv8-a/sel4bench/armv/sel4bench.h
10-Feb-2021 19:38:14 Unchanged libsel4bench/arch_include/arm/cpu/arm1136jf-s/sel4bench/cpu/events.h
10-Feb-2021 19:38:14 Formatted libsel4bench/arch_include/arm/cpu/arm1136jf-s/sel4bench/cpu/private.h
10-Feb-2021 19:38:14 Formatted libsel4bench/arch_include/arm/cpu/arm1136jf-s/sel4bench/cpu/sel4bench.h
10-Feb-2021 19:38:14 Unchanged libsel4bench/arch_include/arm/cpu/cortex-a15/sel4bench/cpu/events.h
10-Feb-2021 19:38:14 Unchanged libsel4bench/arch_include/arm/cpu/cortex-a53/sel4bench/cpu/events.h
10-Feb-2021 19:38:14 Unchanged libsel4bench/arch_include/arm/cpu/cortex-a57/sel4bench/cpu/eThis is the most I can report on right now, sorry!
Slowly but surely..