Integrate with Microkit higher-level tooling #1238
examples.yaml
on: pull_request
Linux x86-64
3m 56s
Linux x86-64 (Nix)
38s
macOS ARM64
5m 18s
Annotations
1 error
Linux x86-64 (Nix)
Process completed with exit code 1.
|