Use the CI config from the mml repository #41

Triggered via pull request September 4, 2023 08:54

synchronize #35

overhaul-ci

Status Success

Total duration 2m 14s

Artifacts 1

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

pr.yaml

on: pull_request

Produced during runtime

Name	Size
build-artifacts Expired	361 KB