Build

Add Microkit 2.0.0 release #1990

Triggered via pull request March 6, 2025 05:06

synchronize #277

microkit_2.0.0

Status Success

Total duration 2m 2s

Artifacts 1

build.yml

on: pull_request

1 warning

The Ubuntu-20.04 brownout takes place from 2025-02-01. For more details, see https://github.com/actions/runner-images/issues/11101

Produced during runtime

Name	Size
site	26 MB