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.

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

.github: Update the style checker action for CheriBSD #2067

Merged
merged 6 commits into from
Apr 9, 2024

Commits on Mar 25, 2024

  1. checkstyle9.pl: Add --github to output for github workflows

    If you add "::error file=foo/bar.c:line=123:" before the error message,
    it will appear inline.
    
    Sponsored by:		Netflix
    
    (cherry picked from commit 0949b23)
    bsdimp authored and bsdjhb committed Mar 25, 2024
    Configuration menu
    Copy the full SHA
    d2eb0e2 View commit details
    Browse the repository at this point in the history
  2. checkstyle9.pl: Correct github output

    Change the : between file and line to a ,. This should fix this...
    
    Sponsored by:		Netflix
    
    (cherry picked from commit c2f5306)
    bsdimp authored and bsdjhb committed Mar 25, 2024
    Configuration menu
    Copy the full SHA
    fc61118 View commit details
    Browse the repository at this point in the history
  3. checkstyle9.pl: Another correction to github workflow

    Remove extra space...
    
    Sponsored by:		Netflix
    
    (cherry picked from commit ac9abe9)
    bsdimp authored and bsdjhb committed Mar 25, 2024
    Configuration menu
    Copy the full SHA
    795e0f6 View commit details
    Browse the repository at this point in the history
  4. checkstyle9.pl: Differentiate errors and warnings

    Use ::error and ::warning as appropriate to give better meaning to the
    messages.
    
    Sponsored by:		Netflix
    
    (cherry picked from commit 22d12ca)
    bsdimp authored and bsdjhb committed Mar 25, 2024
    Configuration menu
    Copy the full SHA
    550e5dc View commit details
    Browse the repository at this point in the history
  5. github: Enable github workflow output from checkstyle9.pl

    Let's see if we can get the style issues flagged inline.
    
    Sponsored by:		Netflix
    
    (cherry picked from commit 33326dd)
    bsdimp authored and bsdjhb committed Mar 25, 2024
    Configuration menu
    Copy the full SHA
    21e7980 View commit details
    Browse the repository at this point in the history

Commits on Mar 27, 2024

  1. style checker: Update for CheriBSD

    - Run for PRs against dev instead of main.
    
    - Make the check always succeed but still add annotations.
    
    - Check the style of the total diff instead of each patch on the branch.
    bsdjhb committed Mar 27, 2024
    Configuration menu
    Copy the full SHA
    cfbf83a View commit details
    Browse the repository at this point in the history