Skip to content
ci

Merge branch 'depext' #26

Sign in to view logs

Merge branch 'depext'

Merge branch 'depext' #26

Triggered via push May 27, 2023 19:55
@sim642sim642
pushed b819869
master
Status Success
Total duration 17m 45s
Artifacts –

ci.yml

on: push
Matrix: build
Matrix: lower-bounds-downgrade
Matrix: opam-install
Fit to window
Zoom out
Zoom in

Annotations

10 errors
build (ubuntu-latest, 4.14.x)
The process '/usr/bin/sudo' failed with exit code 100
build (ubuntu-latest, 5.0.0)
The process '/usr/bin/sudo' failed with exit code 100
build (ubuntu-latest, 4.08.x)
The process '/usr/bin/sudo' failed with exit code 100
build (ubuntu-latest, 4.09.x)
The process '/usr/bin/sudo' failed with exit code 100
build (ubuntu-latest, 4.13.x)
The process '/usr/bin/sudo' failed with exit code 100
build (ubuntu-latest, 4.12.x)
The process '/usr/bin/sudo' failed with exit code 100
opam-install (ubuntu-latest, 4.14.x)
The process '/usr/bin/sudo' failed with exit code 100
build (ubuntu-latest, 4.11.x)
The process '/usr/bin/sudo' failed with exit code 100
build (ubuntu-latest, 4.10.x)
The process '/usr/bin/sudo' failed with exit code 100
lower-bounds-downgrade (ubuntu-latest, 4.14.x)
The process '/usr/bin/sudo' failed with exit code 100