Build details

Build information

State
complete
Name
cvc5
Epoch
None
Version
1.1.2
Release
1.fc40
Started
2024-03-14 20:53:58
Finished
2024-03-14 21:52:30
Koji repo
5921542

Koji tasks

complete
114961549
aarch64
├114961619 closed
ppc64le
├114961620 closed
s390x
├114961621 closed
x86_64
└114961618 closed

Build logs

aarch64
build.log | root.log
ppc64le
build.log | root.log
s390x
build.log | root.log
x86_64
build.log | root.log

Dependency changes from previous build

Dependencies for this build could not be processed.
Koschei version
Authors: Michael Simacek, Mikolaj Izdebski
Copyright © 2014-2018 Red Hat Inc.
User documentation
Project page on GitHub
Reporting issues