Skip to content

Merge pull request #1927 from ndim/add-extra-version-information #38

Merge pull request #1927 from ndim/add-extra-version-information

Merge pull request #1927 from ndim/add-extra-version-information #38

name: "Check Sourcecode"
on:
push:
branches-ignore:
- 'onlinedocs'
pull_request:
branches-ignore:
- 'onlinedocs'
jobs:
check-sourcecode:
name: "Check Sourcecode"
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
# - name: Install prerequisites
- name: "Check the sourcecode"
run: ./tools/check-sourcecode