Rework handling of assignment words #287
Triggered via pull request
September 17, 2023 15:17
Niols
Status
Cancelled
Total duration
1h 32m 53s
Artifacts
1
ci.yml
on: pull_request
apt-based
56s
nix-flake-checks
1h 15m
Matrix: docker-based
Matrix: nix-based
Matrix: opam-based
Annotations
14 errors and 8 notices
|
nix-based (with-nixpkgs)
Action failed with error: Error: The process '/home/runner/work/_actions/cachix/cachix-action/v12/dist/main/push-paths.sh' failed with exit code 1
|
|
nix-based (with-opam-nix)
Action failed with error: Error: The process '/home/runner/work/_actions/cachix/cachix-action/v12/dist/main/push-paths.sh' failed with exit code 1
|
|
docker-based (archlinux)
Process completed with exit code 2.
|
|
docker-based (debian)
Process completed with exit code 2.
|
|
docker-based (alpine, deploy-image)
Process completed with exit code 2.
|
|
docker-based (debian-testing)
Process completed with exit code 2.
|
|
docker-based (debian-unstable)
Process completed with exit code 2.
|
|
docker-based (fedora)
Process completed with exit code 2.
|
|
docker-based (opensuse)
Process completed with exit code 2.
|
|
docker-based (oraclelinux)
Process completed with exit code 2.
|
|
docker-based (ubuntu)
Process completed with exit code 2.
|
|
docker-based (ubuntu-lts)
Process completed with exit code 2.
|
|
nix-flake-checks
Action failed with error: Error: The process '/home/runner/work/_actions/cachix/cachix-action/v12/dist/main/push-paths.sh' failed with exit code 1
|
|
nix-flake-checks
The operation was canceled.
|
|
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.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.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.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.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
|
|
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, 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
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
github-pages
Expired
|
390 KB |
|