CI

connectivity of wedge inclusion #3358

Sign in to view logs

Triggered via pull request February 9, 2025 18:52

Alizter

opened #2211

Alizter:ps/rr/connectivity_of_wedge_inclusion

Status Failure

Total duration 4m 37s

Artifacts –

ci.yml

on: pull_request

Matrix: build

Matrix: opam-build

Matrix: quick-build

Matrix: coqchk

Matrix: install

delete-artifacts

Annotations

11 warnings

Unexpected input(s) 'name', 'authToken', 'extraPullNames', valid inputs are ['extra_nix_config', 'github_access_token', 'install_url', 'install_options', 'nix_path']

opam-build (dev, ubuntu-latest): theories/Basics/Notations.v#L13

Set ... Append is not supported.

opam-build (dev, ubuntu-latest): theories/Basics/Notations.v#L13

Set ... Append is not supported.

opam-build (dev, ubuntu-latest): theories/Basics/Settings.v#L10

"coq-core" has been renamed to "rocq-runtime".

opam-build (dev, ubuntu-latest): theories/Basics/Settings.v#L12

"coq-core" has been renamed to "rocq-runtime".

opam-build (dev, ubuntu-latest): theories/Categories/Category/Pi.v#L48

Set ... Append is not supported.

opam-build (dev, ubuntu-latest): theories/Categories/Category/Pi.v#L48

Set ... Append is not supported.

opam-build (dev, ubuntu-latest): theories/Categories/Functor/Prod/Core.v#L106

Set ... Append is not supported.

opam-build (dev, ubuntu-latest): theories/Categories/Functor/Prod/Core.v#L106

Set ... Append is not supported.

opam-build (dev, ubuntu-latest): theories/Categories/Comma/Core.v#L342

Set ... Append is not supported.

opam-build (dev, ubuntu-latest): theories/Categories/Comma/Core.v#L342

Set ... Append is not supported.