Use relative paths whenever possible in code.

2 jobs for ci/vip in 5 minutes and 39 seconds (queued for 10 seconds)
latest
Status Name Job ID Coverage
  Build
failed build-coq.8.12.0 #134739
fp

00:05:31

failed check-generated #134740
fp

00:05:38

 
Name Stage Failure
failed
check-generated Build


<><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
+- The following actions failed
| - build z3 4.8.11
+-
- No changes have been performed
Cleaning up file based variables
ERROR: Job failed: exit code 1
failed
build-coq.8.12.0 Build


<><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
+- The following actions failed
| - build z3 4.8.11
+-
- No changes have been performed
Cleaning up file based variables
ERROR: Job failed: exit code 1