Skip to content
SDK

monitor: report potential stack overflows #711

Sign in to view logs

monitor: report potential stack overflows

monitor: report potential stack overflows #711

Triggered via push January 6, 2025 04:00
@Ivan-VelickovicIvan-Velickovic
pushed 453dc2d
main
Status Success
Total duration 13m 33s
Artifacts 4

sdk.yaml

on: push
Build SDK (Linux x86-64, ARM64)
10m 9s
Build SDK (Linux x86-64, ARM64)
Build SDK (macOS x86-64, ARM64)
13m 26s
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.2 is already installed and up-to-date. To reinstall 3.31.2, 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
microkit-sdk-1.4.1-dev.50+453dc2d-linux-aarch64
11.3 MB
microkit-sdk-1.4.1-dev.50+453dc2d-linux-x86-64
11.3 MB
microkit-sdk-1.4.1-dev.50+453dc2d-macos-aarch64
11.2 MB
microkit-sdk-1.4.1-dev.50+453dc2d-macos-x86-64
11.3 MB