Add Microkit 1.4.1 release #1747

Triggered via pull request August 16, 2024 06:05

opened #264

microkit_1.4.1

Status Success

Total duration 2m 0s

Artifacts 1

build.yml

on: pull_request

Produced during runtime

Name	Size
site	26 MB