Build details

Build information

State
complete
Name
cbmc
Epoch
None
Version
5.95.1
Release
4.fc40
Started
2024-07-16 02:12:35
Finished
2024-07-16 03:09:41
Koji repo
9007477

Koji tasks

complete
120397894
x86_64
└120397907 closed

Build logs

x86_64
build.log | root.log

Dependency changes from previous build

No dependency changes
Koschei version d754c33
Authors: Michael Simacek, Mikolaj Izdebski
Copyright © 2014-2018 Red Hat Inc.
User documentation
Project page on GitHub
Reporting issues