Skip to content

Bump actions/checkout from 3 to 4 #285

Bump actions/checkout from 3 to 4

Bump actions/checkout from 3 to 4 #285

Triggered via pull request September 17, 2023 15:15
Status Cancelled
Total duration 41m 24s
Artifacts 1

ci.yml

on: pull_request
Matrix: docker-based
Matrix: nix-based
Matrix: opam-based
Fit to window
Zoom out
Zoom in

Annotations

12 errors and 8 notices
docker-based (ubuntu-lts)
Process completed with exit code 2.
docker-based (fedora)
Process completed with exit code 2.
docker-based (debian-testing)
Process completed with exit code 2.
docker-based (ubuntu)
Process completed with exit code 2.
docker-based (archlinux)
Process completed with exit code 2.
docker-based (alpine, deploy-image)
Process completed with exit code 2.
docker-based (debian-unstable)
Process completed with exit code 2.
docker-based (debian)
Process completed with exit code 2.
docker-based (opensuse)
Process completed with exit code 2.
docker-based (oraclelinux)
Process completed with exit code 2.
nix-flake-checks
The run was canceled by @Niols.
nix-flake-checks
The operation was canceled.
opam-based (ubuntu, 4.11.x, lower-bounds, no-doc)
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
opam-based (ubuntu, 4.13.x)
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
opam-based (ubuntu, 4.11.x)
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
opam-based (ubuntu, 4.12.x)
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
opam-based (ubuntu, 4.14.x, deploy-doc)
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
opam-based (ubuntu, 4.14.1, bytecode)
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
opam-based (ubuntu, 5.0.x)
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
opam-based (ubuntu, 4.14.x, lower-bounds, no-doc)
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
github-pages Expired
390 KB