CI

rfc-5: finish Core Platform/Microkit rename #24

Sign in to view logs

Triggered via push June 17, 2024 02:16

lsf37

main

Status Success

Total duration 2m 2s

Artifacts –

push.yml

on: push