Closed hannesm closed 11 months ago
In all the CIs I suddenly receive the following issue:
/src: (run (shell "opam lint")) /src/albatross.opam: Passed. 2023-09-27 21:16.01 ---> saved as "1f4bde9a35dd80c8c20c72df76bec14f519d3400d76082acbbe380ac9a96fe7c" /src: (run (shell "opam exec -- opam-dune-lint")) opam-dune-lint: internal error, uncaught exception: Failure("No *.opam files found!")
Maybe opam-dune-lint is going crazy, since opam lint managed to find an opam file...
opam-dune-lint
opam lint
In all the CIs I suddenly receive the following issue:
Maybe
opam-dune-lint
is going crazy, sinceopam lint
managed to find an opam file...