Learn more about these different git repos.
Other Git URLs
I have builds that last longer than the default time-out.
It would be very helpful if a build page shows the time-out that was used next to the Build Time: (preferably in the same format).
Build Time:
In doubt I can cancel the build and restart it with a proper time-out.
The timeout is available in "builder-live.log" file, right at the beginning of the file. But having this in the UI makes sense.
But note this is tricky; build can be restarted upon Copr build system restart, or other weird failures -> and if a restart happens the new build has again full timeout to spend.
Restarts can be observed in backend.log.gz.
Metadata Update from @praiskup: - Issue tagged with: RFE
Metadata Update from @praiskup: - Issue tagged with: easyfix
Metadata Update from @praiskup: - Issue assigned to nikromen
Metadata Update from @praiskup: - Issue close_status updated to: Fixed - Issue status updated to: Closed (was: Open)
Merged in #2306. Will be in the next release.
Log in to comment on this ticket.