lint: add errors about duplicated extra-files and checksums & when extra-file paths contains '..'#5561

Merged

kit-ty-kate merged 10 commits intoocaml:masterfrom rjbou:lint-security

Sep 3, 2024

+412-31

Commits on Sep 3, 2024

reftest: add an additional test case for W37, opam file with and without url section
rjbou
committed
reftest: lint, update E65 to test other urls scheme
rjbou
committed
lint: add E70 for extra-files duplication
rjbou
committed
hash: export compare kind
rjbou
committed
lint: add E71 for checking if the same checksum algorithm is used several times for a given url in url section
rjbou
committed
lint: add E72 for checking if the same checksum algorithm is used several times for a given url in extra-sources section
rjbou
committed
filename: add might_escape function
rjbou
committed
lint: add E73 for relative path on extra-files
rjbou
committed
reftest: add more test cases for W59
rjbou
committed
lint: update W59 (no checksum on url) to always display a warning, no more tied to --check-upstream option
rjbou
committed