Skip to content

Latest commit

 

History

History
44 lines (30 loc) · 1.02 KB

README.md

File metadata and controls

44 lines (30 loc) · 1.02 KB
Raw

Shell script check action

This action runs the check for portable shell code from https://github.com/seL4/sel4_tools on pull requests.

Content

The main action happens in steps.sh, the JavaScript entry point just calls this script.

Arguments

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

Example

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

name: Style

on: [pull_request]

jobs:
  style:
    name: Shell
    runs-on: ubuntu-latest
    steps:
    - uses: seL4/ci-actions/bashisms@master

Maintenance

The checkbashism script in ../scripts is directly extracted from https://deb.debian.org/debian/pool/main/d/devscripts/devscripts_2.23.7.tar.xz. Installing it via apt-get takes forever, because the rest of the devscripts has lots of dependencies.