Skip to content

Merge commit '96c7c85ad008a71fb03198a708c8531aacbb39e0' into develop #4

Merge commit '96c7c85ad008a71fb03198a708c8531aacbb39e0' into develop

Merge commit '96c7c85ad008a71fb03198a708c8531aacbb39e0' into develop #4

name: Check copyright year
on:
push:
branches:
- master
- develop
jobs:
check_copyright_year:
runs-on: ubuntu-latest
steps:
- uses: actions/[email protected]
- run: |
if [ "$(grep Copyright COPYING | sed -e 's/.*2014-\([0-9]*\) .*/\1/g')" -ne "$(date +%Y)" ]; then
echo "Please change copyright year!"
exit 1
fi