Adding dummy commit

2023-07-03 12:28:47 +02:00 · 2023-07-03 12:28:47 +02:00 · e94d1df1ec
parent 0fa5c8f81c
commit e94d1df1ec
1 changed files with 1 additions and 0 deletions
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@ -3,6 +3,7 @@ name: Continuous Integration
 on:
  push:
    branches: [master]
+
  pull_request:
    branches: [master]