Skip to content

Gentype: propagate more comments (#6334) #2632

Gentype: propagate more comments (#6334)

Gentype: propagate more comments (#6334) #2632

Triggered via push August 8, 2023 15:01
Status Success
Total duration 30m 41s
Artifacts 9

ci.yml

on: push
Matrix: static-binaries-linux
Matrix: build
upload-linux-arm64-binaries
19s
upload-linux-arm64-binaries
Matrix: installationTest
publish
0s
publish
Fit to window
Zoom out
Zoom in

Annotations

1 notice
build (ubuntu-latest, 4.14.0)
An error has been caught in some system package index files, so the system package index files have been re-synchronised, and the system package installation has been retried: the process '/usr/bin/sudo' failed with exit code 100

Artifacts

Produced during runtime
Name Size
binaries-darwin Expired
11.1 MB
binaries-darwinarm64 Expired
11.2 MB
binaries-linux Expired
10.5 MB
binaries-linuxarm64 Expired
11 MB
binaries-win32 Expired
19.5 MB
lib-ocaml Expired
15.7 MB
npm-packages Expired
27.9 MB
static-binaries-linux-ARM64 Expired
65.7 MB
static-binaries-linux-X64 Expired
60.2 MB