# context              2.1.2 | linux/x86_64 | ocaml-base-compiler.5.2.1 | file:///builds/coq/opam/extra-dev
# path                 ~/opam-root-4.09.0-2.1.2-sandbox/4.09.0/.opam-switch/build/coq-elpi.dev
# command              ~/opam-root-4.09.0-2.1.2-sandbox/4.09.0/bin/dune build -p coq-elpi -j 2 @install @runtest
# exit-code            1
# env-file             ~/opam-root-4.09.0-2.1.2-sandbox/log/coq-elpi-5446-0de2d1.env
# output-file          ~/opam-root-4.09.0-2.1.2-sandbox/log/coq-elpi-5446-0de2d1.out
### output ###
# [...]
# +  
# +  [1]
#    $ dune build test2.vo
# -  true : bool
# -       : bool
# +  File "./test.v", line 1, characters 0-39:
# +  Error: Cannot load Stdlib.Strings.String: no physical path bound to
# +  Stdlib.Strings
# +  
# +  
# +  [1]
#  

[NOTE] Switch invariant was updated to ["ocaml-base-compiler" {= "5.2.1"} | "ocaml-system" {= "4.09.0"}]
       Use `opam switch set-invariant' to change it.

The former state can be restored with:
    /usr/local/bin/opam switch import "/builds/coq/opam/opam-root-4.09.0-2.1.2-sandbox/4.09.0/.opam-switch/backup/state-20241215101143.export"
'opam install coq-elpi.dev -y -v -v --with-test --update-invariant' failed.
Removing coq-elpi
[WARNING] Running as root is not recommended
[NOTE] coq-elpi is not installed.

Packages that failed to install: coq-elpi.dev
Packages that succeeded to install:
Uploading artifacts for failed job
Uploading artifacts...
log/: found 2 matching artifact files and directories 
Uploading artifacts as "archive" to coordinator... 201 Created  id=5077823 responseStatus=201 Created token=glcbt-64
Cleaning up project directory and file based variables
ERROR: Job failed: exit code 1