Build

Add Microkit 1.4.0 release #1728

Triggered via push August 5, 2024 10:49

master

Status Success

Total duration 2m 12s

Artifacts 1

build.yml

on: push

Produced during runtime

Name	Size
site Expired	26 MB