Skip to content

Integrate with Microkit higher-level tooling #1237

Integrate with Microkit higher-level tooling

Integrate with Microkit higher-level tooling #1237

Triggered via pull request January 10, 2025 02:23
Status Failure
Total duration 4m 25s
Artifacts

examples.yaml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

3 errors
Linux x86-64 (Nix)
Process completed with exit code 1.
Linux x86-64
Process completed with exit code 2.
macOS ARM64
Process completed with exit code 1.