Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

opamfile: parse error on escapable paths #5562

Draft
wants to merge 11 commits into
base: master
Choose a base branch
from
Draft

opamfile: parse error on escapable paths #5562

wants to merge 11 commits into from

Commits on Aug 29, 2023

  1. test: lint update & fix W37

    @rjbou
    rjbou committed Aug 29, 2023
    Configuration menu
    Copy the full SHA
    3aeb9bb View commit details
    Browse the repository at this point in the history

  2. test: lint add more tests for E59

    @rjbou
    rjbou committed Aug 29, 2023
    Configuration menu
    Copy the full SHA
    bcf9283 View commit details
    Browse the repository at this point in the history

  3. test: lint, update E65 warning to test other urls

    @rjbou
    rjbou committed Aug 29, 2023
    Configuration menu
    Copy the full SHA
    5b485ef View commit details
    Browse the repository at this point in the history

  4. lint: add E69 for extra-files duplication

    @rjbou
    rjbou committed Aug 29, 2023
    Configuration menu
    Copy the full SHA
    45c5baf View commit details
    Browse the repository at this point in the history

  5. hash: export compare kind

    @rjbou
    rjbou committed Aug 29, 2023
    Configuration menu
    Copy the full SHA
    6afd714 View commit details
    Browse the repository at this point in the history

  6. lint: add E70 for url checksum kind duplication

    @rjbou
    rjbou committed Aug 29, 2023
    Configuration menu
    Copy the full SHA
    9466a22 View commit details
    Browse the repository at this point in the history

  7. filename: add is_escapable function

    @rjbou
    rjbou committed Aug 29, 2023
    Configuration menu
    Copy the full SHA
    05578af View commit details
    Browse the repository at this point in the history

  8. lint: add E71 for relative path on extra-files

    @rjbou
    rjbou committed Aug 29, 2023
    Configuration menu
    Copy the full SHA
    9a8d3bb View commit details
    Browse the repository at this point in the history

  9. lint: update W59 (no checksum on url) to always display a warning, no… 

    … more tied to --check-upstream option
    @rjbou
    rjbou committed Aug 29, 2023
    Configuration menu
    Copy the full SHA
    7560c1e View commit details
    Browse the repository at this point in the history

  10. Revert "lint: add E71 for relative path on extra-files" 

    This reverts commit e856756d5fbe0437b9123056da05785e96a3b46f.
    @rjbou
    rjbou committed Aug 29, 2023
    Configuration menu
    Copy the full SHA
    a2984fe View commit details
    Browse the repository at this point in the history

  11. parse error on escapable string (path & url)

    @rjbou
    rjbou committed Aug 29, 2023
    Configuration menu
    Copy the full SHA
    f1bbfc9 View commit details
    Browse the repository at this point in the history