Build

Add Microkit 1.4.0 release #1727

Triggered via pull request August 5, 2024 10:24

synchronize #263

Status Success

Total duration 1m 48s

Artifacts 1

build.yml

on: pull_request

Produced during runtime

Name	Size
site Expired	26 MB