Skip to content

distinguish between type and term dependencies in UF.dependencies #8961

distinguish between type and term dependencies in UF.dependencies

distinguish between type and term dependencies in UF.dependencies #8961

Triggered via push August 13, 2024 18:05
Status Success
Total duration 14m 51s
Artifacts 7

ci.yaml

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

Artifacts

Produced during runtime
Name Size
jit-binary-macOS-12 Expired
36.1 MB
jit-binary-ubuntu-20.04 Expired
34.6 MB
jit-binary-windows-2019 Expired
39.7 MB
jit-source Expired
283 KB
unison-macOS-12 Expired
13.4 MB
unison-ubuntu-20.04 Expired
22.8 MB
unison-windows-2019 Expired
27.6 MB