Ubuntu

riscv64 build of cbmc 5.95.1-4ubuntu1 in ubuntu noble RELEASE

  1. Copy archive test-rebuild-20240502-noble-gcc for Ubuntu Archive Test Rebuilds
  2. riscv64 build of cbmc 5.95.1-4ubuntu1
created

Build status

[FAILEDTOBUILD] Failed to build on bos03-riscv64-118

  • Started
  • Finished (took 2 hours, 6 minutes, 29.6 seconds)
  • buildlog (64.1 KiB)

Build details

Source:
cbmc - 5.95.1-4ubuntu1
Archive:
Copy archive test-rebuild-20240502-noble-gcc for Ubuntu Archive Test Rebuilds
Series:
Noble
Architecture:
riscv64
Pocket:
Release
Component:
universe