Build

Fix typos in Microkit 1.4.1 release notes #1766

Triggered via pull request August 26, 2024 09:54

opened #265

typos

Status Success

Total duration 1m 42s

Artifacts 1

build.yml

on: pull_request

Produced during runtime

Name	Size
site Expired	26 MB