Merge pull request #1892 from waja/CI_fix_build

Fix CI workflow syntax
This commit is contained in:
Lorenz Kästle 2023-06-28 15:54:24 +02:00 committed by GitHub
commit 2275da632c
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -4,8 +4,8 @@ on:
push:
branches:
- '*'
# Run test for any PRs
pull_request:
- '*'
jobs:
codespell: