community/z3: upgrade to 4.8.6

7 jobs for !1073 with z3 in 42 minutes and 9 seconds (queued for 1 second)
detached
Status Job ID Name Coverage
  Lint
failed #11390
x86_64 docker-alpine allowed to fail
lint

00:00:21

 
  Build
passed #11395
aarch64 ci-build docker-alpine
build-aarch64

00:15:04

passed #11396
armv7 ci-build docker-alpine
build-armv7

00:21:57

passed #11394
ppc64le ci-build docker-alpine
build-ppc64le

00:17:37

passed #11393
s390x ci-build docker-alpine
build-s390x

00:02:37

passed #11392
x86 ci-build docker-alpine
build-x86

00:41:45

passed #11391
x86_64 ci-build docker-alpine
build-x86_64

00:14:33

 
Name Stage Failure
failed
lint Lint
No job log