Skip to content

Merge pull request #5110 from unisonweb/fix-merge-bug #8366

Merge pull request #5110 from unisonweb/fix-merge-bug

Merge pull request #5110 from unisonweb/fix-merge-bug #8366

Triggered via push June 20, 2024 19:49
Status Success
Total duration 34m 17s
Artifacts 7

ci.yaml

on: push
Matrix: build ucm
generate jit source
6s
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

1 warning
build ucm (ubuntu-20.04)
Failed to restore: EBADF: bad file descriptor, close

Artifacts

Produced during runtime
Name Size
jit-binary-macOS-12
34.5 MB
jit-binary-ubuntu-20.04
33 MB
jit-binary-windows-2019
38.1 MB
jit-source
372 KB
unison-macOS-12
12.8 MB
unison-ubuntu-20.04
20.4 MB
unison-windows-2019
22.8 MB