Build Failure on ports-10.6_x86_64: z3-java
buildbot at macports.org
buildbot at macports.org
Fri Jun 26 04:31:10 UTC 2020
Status: Failure
Build slave: ports-10.6_x86_64
Full logs: https://build.macports.org/builders/ports-10.6_x86_64-watcher/builds/7765
Build reason: The SingleBranchScheduler scheduler named 'ports' triggered this build
Port list: z3
Subport list:
- z3
- py37-z3
- py-z3
- py27-z3
- z3-fstar
- z3-java
Variants: None
Revision: a80247d3a822737e93cc0ff67124ce963b54a838
Build time: 1:00:43
Author: Landon Fuller <landonf at macports.org>
Log from failed builds:
Building 'z3-java' ... [ERROR] (failed to fetch dependency 'openjdk11')
> maintainers: landonf at macports.org,nils at breun.nl.
Broken ports:
- z3-java
Responsible maintainers:
- landonf at macports.org
- nils at breun.nl
Links to individual build jobs:
- ports-10.6_x86_64-builder #29050
https://build.macports.org/builders/ports-10.6_x86_64-builder/builds/29050
- ports-10.6_x86_64-builder #29051
https://build.macports.org/builders/ports-10.6_x86_64-builder/builds/29051
- ports-10.6_x86_64-builder #29052
https://build.macports.org/builders/ports-10.6_x86_64-builder/builds/29052
- ports-10.6_x86_64-builder #29053
https://build.macports.org/builders/ports-10.6_x86_64-builder/builds/29053
- ports-10.6_x86_64-builder #29054
https://build.macports.org/builders/ports-10.6_x86_64-builder/builds/29054
- ports-10.6_x86_64-builder #29055
https://build.macports.org/builders/ports-10.6_x86_64-builder/builds/29055
--
Best regards,
MacPorts Buildbot
https://build.macports.org/
More information about the macports-builds
mailing list