Build

Add Microkit 2.0.0 release #1991

Triggered via push March 6, 2025 06:34

master

Status Success

Total duration 1m 58s

Artifacts 1

build.yml

on: push

2 warnings

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

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