git-diff-check

Git Diff Check action

This action runs git diff --check on pull requests to check for trailing whitespace and potentially left-over merge conflict markers.

Content

The main action happens in steps.sh

Arguments

• token: GitHub PA token to authenticate for private repos (optional)

Example

Put this into a .github/workflows/ yaml file, e.g. git.yml:

name: 'Git Diff Check'

on: [pull_request]

jobs:
  gitlint:
    name: 'Trailing Whitepace Check'
    runs-on: ubuntu-latest
    steps:
    - uses: seL4/ci-actions/git-diff-check@master