Skip to content

bugfix: make namespace directive not churn unique types #9883

bugfix: make namespace directive not churn unique types

bugfix: make namespace directive not churn unique types #9883

Triggered via pull request December 17, 2024 21:35
Status Success
Total duration 16m 47s
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

1 warning
ormolu
The glob patterns did not match any source files

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.3 MB
unison-ubuntu-20.04
22.7 MB
unison-windows-2019
27.6 MB