Launchpad.net

bos03-riscv64-105

  1. Build Farm
  2. bos03-riscv64-105

bos03-riscv64-105 builds riscv64 binaries and is owned by Barry Price.

View full history Current status

40978101 [building] Building riscv64 build of coq-unimath 20231010-1build3 in ubuntu noble RELEASE [ubuntu/test-rebuild-20240502-noble-gcc]

Started 4 hours, 20 minutes, 55.0 seconds ago.

Buildlog

Math.CategoryTheory.DisplayedCats.Fibrations.cartesian_disp_functor_on_cartesian
COQC UniMath/CategoryTheory/DisplayedCats/Examples/Reindexing.v
File "./UniMath/CategoryTheory/DisplayedCats/Examples/Reindexing.v", line 24, characters 0-54:
Warning: Overwriting previous delimiting key cat in scope cat
[overwriting-delimiting-key,parsing,default]
COQC UniMath/CategoryTheory/DisplayedCats/Constructions.v
File "./UniMath/CategoryTheory/DisplayedCats/Constructions.v", line 18, characters 0-54:
Warning: Overwriting previous delimiting key cat in scope cat
[overwriting-delimiting-key,parsing,default]
COQC UniMath/CategoryTheory/DisplayedCats/Examples/Sigma.v
File "./UniMath/CategoryTheory/DisplayedCats/Examples/Sigma.v", line 3, characters 0-54:
Warning: Overwriting previous delimiting key cat in scope cat
[overwriting-delimiting-key,parsing,default]
COQC UniMath/CategoryTheory/FunctorAlgebras.v
File "./UniMath/CategoryTheory/FunctorAlgebras.v", line 31, characters 0-54:
Warning: Overwriting previous delimiting key cat in scope cat
[overwriting-delimiting-key,parsing,default]
COQC UniMath/CategoryTheory/CompletelyIterativeAlgebras.v
File "./UniMath/CategoryTheory/CompletelyIterativeAlgebras.v", line 14, characters 0-54:
Warning: Overwriting previous delimiting key cat in scope cat
[overwriting-delimiting-key,parsing,default]
COQC UniMath/CategoryTheory/Chains/Adamek.v
File "./UniMath/CategoryTheory/Chains/Adamek.v", line 15, characters 0-54:
Warning: Overwriting previous delimiting key cat in scope cat
[overwriting-delimiting-key,parsing,default]
COQC UniMath/CategoryTheory/Chains/CoAdamek.v
File "./UniMath/CategoryTheory/Chains/CoAdamek.v", line 15, characters 0-54:
Warning: Overwriting previous delimiting key cat in scope cat
[overwriting-delimiting-key,parsing,default]
COQC UniMath/CategoryTheory/Chains/OmegaCocontFunctors.v
File "./UniMath/CategoryTheory/Chains/OmegaCocontFunctors.v", line 62, characters 0-54:
Warning: Overwriting previous delimiting key cat in scope cat
[overwriting-delimiting-key,parsing,default]

Builder information

Architectures:
riscv64 (virtual)
Location:
http://bos03-riscv64-105.vbuilder.bos03.scalingstack:8221
Owner:
Barry Price
Mode:
This builder is in auto-mode and accepting jobs from the auto-build system.
Version:
237~660~ubuntu22.04.1