[CI] Hax extract on different architectures #1896
jschneider-benschhax.yml
on: pull_request
hax-prove
12m 13s
Matrix: hax-extract
Annotations
6 errors
|
hax-extract (32, windows-latest)
ArchOs (X64-Windows) doesn't map to a supported Nix platform.
|
|
hax-extract (32, windows-latest)
ArchOs (X64-Windows) doesn't map to a supported Nix platform.
|
|
hax-extract (64, windows-latest)
ArchOs (X64-Windows) doesn't map to a supported Nix platform.
|
|
hax-extract (64, windows-latest)
ArchOs (X64-Windows) doesn't map to a supported Nix platform.
|
|
hax-extract (64, macos-latest)
Process completed with exit code 1.
|
|
hax-extract (64, macos-13)
Process completed with exit code 1.
|