Skip to content

Merge dev into master #42

Merge dev into master

Merge dev into master #42

Workflow file for this run

on:
push:
branches-ignore:
- master
paths:
- '**/*.sh'
- 'Dockerfile'
pull_request:
paths:
- '**/*.sh'
- 'Dockerfile'
name: "Test"
permissions: {}
jobs:
shellcheck:
name: Test
uses: ./.github/workflows/check.yml