bugfix: merge involving constructor deletion #8363

Sign in to view logs

Triggered via pull request June 20, 2024 18:31

synchronize #5110

fix-merge-bug

Status Success

Total duration 26m 59s

Artifacts 7

ci.yaml

on: pull_request

Matrix: build ucm

generate jit source

Matrix: run interpreter tests

Matrix: run transcripts

Matrix: build jit binary / build jit binary

Matrix: test jit / test jit

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