Skip to content

Merge branch 'main' into dev #3

Merge branch 'main' into dev

Merge branch 'main' into dev #3

Workflow file for this run

name: Run checks
on: push
jobs:
check:
uses: friends-of-monika/submod-check/.github/workflows/check.yml@dev
with: { paths: mod }