This action runs the check for portable shell code from https://github.com/seL4/sel4_tools on pull requests.
The main action happens in steps.sh
, the JavaScript entry point
just calls this script.
token
: GitHub PA token to authenticate for private repos (optional)
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
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.