Skip to content

Merge branch 'development' into module_resolution #4317

Merge branch 'development' into module_resolution

Merge branch 'development' into module_resolution #4317

Re-run triggered September 25, 2023 10:06
Status Success
Total duration 7m 3s
Artifacts 7

main.yml

on: push
Matrix: linux-build
windows64-build
29m 9s
windows64-build
Matrix: linux-test
Matrix: mac-test
Matrix: windows-test
Matrix: windows64-test
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
linuxArm64Binaries Expired
46 MB
linuxBinaries Expired
9.98 MB
linuxBinaries_ocaml5 Expired
11.8 MB
macBinaries Expired
16 MB
win32Binaries Expired
27 MB
win64Binaries Expired
28.1 MB
xmldoc Expired
21.5 MB