Build

Fix typos in Microkit 1.4.1 release notes #1767

Triggered via push August 26, 2024 10:23

lsf37

master

Status Success

Total duration 2m 13s

Artifacts 1

build.yml

on: push

Produced during runtime

Name	Size
site Expired	26 MB