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

Triggered via push June 17, 2024 02:16

lsf37

main

Status Success

Total duration 4m 0s

Artifacts 1

mdbook.yml

on: push

Produced during runtime

Name	Size
github-pages Expired	1.34 MB