chore: remove Cubical.v indexing file #2954

Sign in to view logs

Triggered via pull request October 8, 2024 01:56

Alizter

opened #2111

Alizter:ps/rr/chore__remove_cubical_v_indexing_file

Status Failure

Total duration 4m 10s

Artifacts –

ci.yml

on: pull_request

Matrix: build

Matrix: opam-build

Matrix: quick-build

Matrix: coqchk

Matrix: install

delete-artifacts

Annotations

6 errors and 1 warning

build (latest): test/bugs/github1758.v#L2

Cannot find a physical path bound to logical path Cubical with prefix HoTT. Command exited with non-zero status 1

build (supported): test/bugs/github1758.v#L1

Cannot find a physical path bound to logical path Cubical with prefix HoTT. Command exited with non-zero status 1

build (dev, --warnings): test/bugs/github1758.v#L2

Cannot find a physical path bound to logical path Cubical with prefix HoTT. Command exited with non-zero status 1

opam-build (latest, ubuntu-latest): test/bugs/github1758.v#L2

Cannot find a physical path bound to logical path

opam-build (supported, ubuntu-latest): test/bugs/github1758.v#L1

Cannot find a physical path bound to logical path

opam-build (dev, ubuntu-latest): test/bugs/github1758.v#L2

Cannot find a physical path bound to logical path

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