[compiler] using __LOC__ in the compiler

3 jobs for julien@preprocessor in 7 minutes and 6 seconds (queued for 1 second)
latest
Status Job ID Name Coverage
  Build
failed #533572943
coq

00:06:52

failed #533572935
coq:8.8

00:06:19

failed #533572939
coq:8.9

00:07:06

 
Name Stage Failure
failed
coq:8.9 Build
+- The following actions failed
| - build albert ~dev
+-
- No changes have been performed
# Run eval $(opam env) to update the current shell environment
[NOTE] Pinning command successful, but your installed packages may be out of sync.
Running after_script
Uploading artifacts for failed job
ERROR: Job failed: exit code 1
failed
coq Build
+- The following actions failed
| - build albert ~dev
+-
- No changes have been performed
# Run eval $(opam env) to update the current shell environment
[NOTE] Pinning command successful, but your installed packages may be out of sync.
Running after_script
Uploading artifacts for failed job
ERROR: Job failed: exit code 1
failed
coq:8.8 Build
+- The following actions failed
| - build albert ~dev
+-
- No changes have been performed
# Run eval $(opam env) to update the current shell environment
[NOTE] Pinning command successful, but your installed packages may be out of sync.
Running after_script
Uploading artifacts for failed job
ERROR: Job failed: exit code 1