Skip to content
CI

Rework handling of assignment words #275

Sign in to view logs

Rework handling of assignment words

Rework handling of assignment words #275

Triggered via pull request August 16, 2023 12:45
@NiolsNiols
synchronize #176
rework-assignment-words
Status Cancelled
Total duration 2m 17s
Artifacts –

ci.yml

on: pull_request
apt-based
0s
apt-based
nix-flake-checks
0s
nix-flake-checks
Matrix: docker-based
Matrix: nix-based
Matrix: opam-based
Fit to window
Zoom out
Zoom in

Annotations

25 errors
apt-based
Canceling since a higher priority waiting request for 'CI-refs/pull/176/merge' exists
docker-based (alpine, deploy-image)
Canceling since a higher priority waiting request for 'CI-refs/pull/176/merge' exists
docker-based (debian)
Canceling since a higher priority waiting request for 'CI-refs/pull/176/merge' exists
docker-based (centos, no-tests)
Canceling since a higher priority waiting request for 'CI-refs/pull/176/merge' exists
docker-based (debian-testing)
Canceling since a higher priority waiting request for 'CI-refs/pull/176/merge' exists
docker-based (archlinux)
Canceling since a higher priority waiting request for 'CI-refs/pull/176/merge' exists
docker-based (debian-unstable)
Canceling since a higher priority waiting request for 'CI-refs/pull/176/merge' exists
docker-based (opensuse)
Canceling since a higher priority waiting request for 'CI-refs/pull/176/merge' exists
docker-based (oraclelinux)
Canceling since a higher priority waiting request for 'CI-refs/pull/176/merge' exists
docker-based (ubuntu)
Canceling since a higher priority waiting request for 'CI-refs/pull/176/merge' exists
docker-based (fedora)
Canceling since a higher priority waiting request for 'CI-refs/pull/176/merge' exists
docker-based (ubuntu-lts)
Canceling since a higher priority waiting request for 'CI-refs/pull/176/merge' exists
nix-based (with-nixpkgs)
Canceling since a higher priority waiting request for 'CI-refs/pull/176/merge' exists
nix-flake-checks
Canceling since a higher priority waiting request for 'CI-refs/pull/176/merge' exists
opam-based (macos, 4.14.x)
Canceling since a higher priority waiting request for 'CI-refs/pull/176/merge' exists
nix-based (with-opam-nix)
Canceling since a higher priority waiting request for 'CI-refs/pull/176/merge' exists
opam-based (ubuntu, 4.11.x, lower-bounds, no-doc)
Canceling since a higher priority waiting request for 'CI-refs/pull/176/merge' exists
opam-based (ubuntu, 4.11.x)
Canceling since a higher priority waiting request for 'CI-refs/pull/176/merge' exists
opam-based (ubuntu, 4.14.1, bytecode)
Canceling since a higher priority waiting request for 'CI-refs/pull/176/merge' exists
opam-based (ubuntu, 4.12.x)
Canceling since a higher priority waiting request for 'CI-refs/pull/176/merge' exists
opam-based (ubuntu, 4.13.x)
Canceling since a higher priority waiting request for 'CI-refs/pull/176/merge' exists
opam-based (ubuntu, 4.14.x, deploy-doc)
Canceling since a higher priority waiting request for 'CI-refs/pull/176/merge' exists
opam-based (ubuntu, 4.14.x, lower-bounds, no-doc)
Canceling since a higher priority waiting request for 'CI-refs/pull/176/merge' exists
opam-based (ubuntu, 5.0.x)
Canceling since a higher priority waiting request for 'CI-refs/pull/176/merge' exists
opam-based (windows, 4.14.x, no-tests)
Canceling since a higher priority waiting request for 'CI-refs/pull/176/merge' exists