Skip to content

cleanup: generate unique type guids only when necessary #9799

cleanup: generate unique type guids only when necessary

cleanup: generate unique type guids only when necessary #9799

Triggered via pull request December 9, 2024 18:06
Status Failure
Total duration 12m 49s
Artifacts 7

ci.yaml

on: pull_request
Matrix: build ucm
generate jit source
10s
generate jit source
Matrix: run interpreter tests
Matrix: run transcripts
Matrix: build jit binary / build jit binary
Matrix: test jit / test jit
Fit to window
Zoom out
Zoom in

Annotations

3 errors and 3 warnings
run transcripts (ubuntu-20.04)
Process completed with exit code 1.
run transcripts (macos-13)
Process completed with exit code 1.
run transcripts (windows-2019)
Process completed with exit code 1.
ormolu
The glob patterns did not match any source files
build jit binary / build jit binary (windows-2019)
Failed to download action 'https://api.github.com/repos/actions/download-artifact/zipball/fa0a91b85d4f404e444e00e005971372dc801d16'. Error: No such host is known. (api.github.com:443)
build jit binary / build jit binary (windows-2019)
Back off 19.623 seconds before retry.

Artifacts

Produced during runtime
Name Size
jit-binary-macOS-13
33.8 MB
jit-binary-ubuntu-20.04
32.3 MB
jit-binary-windows-2019
35.6 MB
jit-source
282 KB
unison-macOS-13
13.2 MB
unison-ubuntu-20.04
22.8 MB
unison-windows-2019
27.6 MB