Skip to content
SDK

Fixes for debug-mode TCB naming #729

Sign in to view logs

Fixes for debug-mode TCB naming

Fixes for debug-mode TCB naming #729

Triggered via push January 20, 2025 01:32
@Ivan-VelickovicIvan-Velickovic
pushed e74e7f5
main
Status Success
Total duration 14m 12s
Artifacts 4

sdk.yaml

on: push
Build SDK (Linux x86-64, ARM64)
9m 52s
Build SDK (Linux x86-64, ARM64)
Build SDK (macOS x86-64, ARM64)
14m 5s
Build SDK (macOS x86-64, ARM64)
Fit to window
Zoom out
Zoom in

Annotations

3 warnings
Build SDK (macOS x86-64, ARM64)
Treating cmake as a formula. For the cask, use homebrew/cask/cmake or specify the `--cask` flag. To silence this message, use the `--formula` flag.
Build SDK (macOS x86-64, ARM64)
cmake 3.31.4 is already installed and up-to-date. To reinstall 3.31.4, run: brew reinstall cmake
Build SDK (macOS x86-64, ARM64)
dtc 1.7.2 is already installed and up-to-date. To reinstall 1.7.2, run: brew reinstall dtc

Artifacts

Produced during runtime
Name Size Digest
microkit-sdk-1.4.1-dev.57+e74e7f5-linux-aarch64 Expired
12.1 MB
sha256:8e13a417a916523b0a07633273aae8fc7b754f8cb4745d5f13be98077dfb9cf4
microkit-sdk-1.4.1-dev.57+e74e7f5-linux-x86-64 Expired
12.1 MB
sha256:b646aab650e85f986dfea7e2823d2a66f0d8c736104a395c89304dafda56a9bd
microkit-sdk-1.4.1-dev.57+e74e7f5-macos-aarch64 Expired
12.1 MB
sha256:3c153ecb64ef8cb6c000e267939cc78286a551bdaba72edc60f2088eec786a94
microkit-sdk-1.4.1-dev.57+e74e7f5-macos-x86-64 Expired
12.1 MB
sha256:41fb6c25a05db052651668c2218fb86c61df3ada64cc431540ec4e99030ed11b