Anil Madhavapeddy

Results 84 issues of Anil Madhavapeddy

I'm trying dune package management again and just ran into this error when refreshing a pkg lock in a Dockerfile. ``` #18 1.525 - zarith.1.14 #18 1.531 Error: rename(dune.lock): Cross-device...

bug
package management

Our BuildKite CI setup is now regularly running various `opam admin` commands on the archive and pushing the results to a [logs](https://github.com/avsm/obi-logs) repository to the `lints` branch. The intention is...

KIND: FEATURE WISH
AREA:ADMIN

I have a library [xdge](https://tangled.org/anil.recoil.org/xdge) with test executables that are run from a cram test. ``` > cat test/dune (executable (name xdg_example) (optional) (libraries xdge eio_main cmdliner fmt)) (executable (name...

bug
docs

the seemingly innocuous ocaml/opam-repository@3044264138073fb14576d59b8278c4f8f9b43e51 change broke all `opam update` calls in CI immediately with: ``` [default] synchronised from git+file:///home/opam/opam-repository [ERROR] Could not update repository "default": "/usr/bin/patch -p1 -i /home/opam/.opam/log/processed-patch-6-58c514" exited...

KIND: BUG