New Upstream Release - agda
Refreshing quilt patches after merging in a new upstream source failed.
More details
Historical runs
- run-disappeared: Worker started processing new run rather than 8bbd0e31-9a1e-4305-9d9c-cab4fb92b6ef
- aborted: Killed by signal
- quilt-refresh-error: An error occurred refreshing quilt patch var-lib-agda: Applying patch p/agda/debian/patches/var-lib-agda can't find file to patch at input line 7 Perhaps you used the wrong -p or --strip option? The text leading up to this was: -------------------------- |See https://github.com/agda/agda/issues/2804 | |Index: b/src/full/Agda/Interaction/Library.hs |=================================================================== |--- a/src/full/Agda/Interaction/Library.hs |+++ b/src/full/Agda/Interaction/Library.hs -------------------------- No file to patch. Skipping patch. 1 out of 1 hunk ignored Patch p/agda/debian/patches/var-lib-agda does not apply (enforce with -f)
- codemod-command-failed: Script ['deb-new-upstream', '--refresh-patches'] failed to run with code -15
- quilt-refresh-error: An error occurred refreshing quilt patch var-lib-agda: Applying patch p/agda/debian/patches/var-lib-agda can't find file to patch at input line 7 Perhaps you used the wrong -p or --strip option? The text leading up to this was: -------------------------- |See https://github.com/agda/agda/issues/2804 | |Index: b/src/full/Agda/Interaction/Library.hs |=================================================================== |--- a/src/full/Agda/Interaction/Library.hs |+++ b/src/full/Agda/Interaction/Library.hs -------------------------- No file to patch. Skipping patch. 1 out of 1 hunk ignored Patch p/agda/debian/patches/var-lib-agda does not apply (enforce with -f)
- worker-timeout: No keepalives received in 10:00:10.838209.