diff --git a/.github/workflows/hyde-stan.yml b/.github/workflows/hyde-stan.yml new file mode 100644 index 00000000000..d5bf2dde169 --- /dev/null +++ b/.github/workflows/hyde-stan.yml @@ -0,0 +1,20 @@ +name: HydeStan + +on: + push: + branches: [ "master" ] + pull_request: + +permissions: + contents: read + +jobs: + analyze: + + runs-on: ubuntu-latest + + steps: + - uses: actions/checkout@v3 + + - name: Run static analysis + run: php ./monorepo/HydeStan/run.php