Skip to content

Merge pull request #927 from argotorg/remove-type-parameter #4330

Merge pull request #927 from argotorg/remove-type-parameter

Merge pull request #927 from argotorg/remove-type-parameter #4330

Triggered via push November 12, 2025 09:54
Status Cancelled
Total duration 20m 25s
Artifacts 2

build.yml

on: push
build (windows-latest)
1m 26s
build (windows-latest)
cabal-check
3m 30s
cabal-check
Matrix: extra-tests
Matrix: nix-build
Fit to window
Zoom out
Zoom in

Annotations

4 errors
build (windows-latest)
The process 'C:\Windows\system32\cmd.exe' failed with exit code 1
Build
Canceling since a higher priority waiting request for Build-refs/heads/main exists
nix-build (osx-x64)
Canceling since a higher priority waiting request for Build-refs/heads/main exists
nix-build (osx-x64)
The operation was canceled.

Artifacts

Produced during runtime
Name Size Digest
hevm-linux-x64
3.71 MB
sha256:ea38b7da8d41c0addd5d917426c91c5c0f3b03fe7a06bc8acb8ebc299a332221
hevm-osx-arm64
20.7 MB
sha256:a217afac22af3143083ebb7075cf66d977b604c38dabf3cd870f1f72c3cdabfc