New Upstream Snapshot - boogie

• QA Page
• Maintainer email: bbaren@mit.edu
• Automatic publish policy: main: push-derived , pristine-tar: push-derived , upstream: push-derived
• Last processed: 2023-01-16T18:54 (took 9m49s)
• Branch URL: https://salsa.debian.org/debian/boogie.git -b master (taken from version 2.4.1+dfsg-0.1)
• Queue position: 243691 (a 254w2d wait)

Schedule a new run

More details

Full run details

Historical runs

• failed: sed: can't read Source/Concurrency/Witnesses.cs: No such file or directory
• failed: sed: can't read Source/Concurrency/Witnesses.cs: No such file or directory
• build-failed-stage-build: sed: can't read Source/Concurrency/Witnesses.cs: No such file or directory
• worker-timeout: No keepalives received in 10:00:10.839048.