Build details

Build information

State
failed
Name
Agda-stdlib
Epoch
None
Version
1.7.3
Release
5.fc40
Started
2024-06-07 00:17:02
Finished
2024-06-07 00:23:08
Koji repo
9007477

Koji tasks

failed
120329731
s390x
└120329744 failed

Build logs

s390x
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