[go: up one dir, main page]

Tighter checks for opam check

Raphaël Proustrequested to merge
nomadic-labs/tezos:raphael-p@fix-ci-packaging into master

The recent !8928 (merged) got merged without an opam check.

However, it turns out it needed one and the opam packaging on master is currently broken.

This MR makes a small (valid) modification to manifest/main.ml and then adds this file to the list of files to check to trigger an opam check. This should show the CI is currently broken.

Merge request reports