Use relative paths whenever possible in code.

2 jobs for ci/vip in 5 minutes and 39 seconds (queued for 10 seconds)
latest
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