PR

Move to Microkit 1.4.0 #111

Sign in to view logs

Triggered via pull request August 6, 2024 00:33

Ivan-Velickovic

synchronize #102

mainline_microkit

Status Failure

Total duration 2m 11s

Artifacts –

pr.yaml

on: pull_request

Trailing Whitespace

Annotations

1 error

Action style failed.