Launchpad.net

bos03-riscv64-039

  1. Build Farm
  2. bos03-riscv64-039

bos03-riscv64-039 builds riscv64 binaries and is owned by Canonical Launchpad Engineering.

View full history Current status

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

Started 1 day, 16 hours, 16 minutes, 37.4 seconds ago.

Buildlog

: Overwriting previous delimiting key cat in scope cat
[overwriting-delimiting-key,parsing,default]
COQC UniMath/Bicategories/WkCatEnrichment/bicategory.v
File "./UniMath/Bicategories/WkCatEnrichment/bicategory.v", line 2, characters 0-54:
Warning: Overwriting previous delimiting key cat in scope cat
[overwriting-delimiting-key,parsing,default]
COQC UniMath/Bicategories/WkCatEnrichment/hcomp_bicat.v
File "./UniMath/Bicategories/WkCatEnrichment/hcomp_bicat.v", line 3, characters 0-54:
Warning: Overwriting previous delimiting key cat in scope cat
[overwriting-delimiting-key,parsing,default]
COQC UniMath/Bicategories/PseudoFunctors/Examples/Strictify.v
File "./UniMath/Bicategories/PseudoFunctors/Examples/Strictify.v", line 7, characters 0-54:
Warning: Overwriting previous delimiting key cat in scope cat
[overwriting-delimiting-key,parsing,default]
COQC UniMath/Bicategories/PseudoFunctors/Preservation/Preservation.v
File "./UniMath/Bicategories/PseudoFunctors/Preservation/Preservation.v", line 18, characters 0-54:
Warning: Overwriting previous delimiting key cat in scope cat
[overwriting-delimiting-key,parsing,default]
COQC UniMath/Bicategories/PseudoFunctors/Preservation/BiadjunctionPreservation.v
File "./UniMath/Bicategories/PseudoFunctors/Preservation/BiadjunctionPreservation.v", line 8, characters 0-54:
Warning: Overwriting previous delimiting key cat in scope cat
[overwriting-delimiting-key,parsing,default]
COQC UniMath/Bicategories/PseudoFunctors/Preservation/BiadjunctionPreserveProducts.v
File "./UniMath/Bicategories/PseudoFunctors/Preservation/BiadjunctionPreserveProducts.v", line 8, characters 0-54:
Warning: Overwriting previous delimiting key cat in scope cat
[overwriting-delimiting-key,parsing,default]
COQC UniMath/Bicategories/PseudoFunctors/Preservation/BiadjunctionPreserveInserters.v
File "./UniMath/Bicategories/PseudoFunctors/Preservation/BiadjunctionPreserveInserters.v", line 8, 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-039.vbuilder.bos03.scalingstack:8221
Owner:
Canonical Launchpad Engineering
Mode:
This builder is in auto-mode and accepting jobs from the auto-build system.
Version:
237~660~ubuntu22.04.1