SDK

manual: fix missing rename to Microkit #44

Sign in to view logs

Triggered via push October 10, 2023 04:30

Ivan-Velickovic

main

Status Success

Total duration 10m 20s

Artifacts –

sdk.yaml

on: push

Build SDK (Linux x86-64)