Temporary trigger the doc generation on pull request to check the workflow

2022-05-11 11:15:46 +02:00 · 2022-05-11 11:15:46 +02:00 · 7f2484ca4c
parent 27dcb6ef9c
commit 7f2484ca4c
1 changed files with 1 additions and 0 deletions
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@ -1,6 +1,7 @@
 name: Documentation

 on:
+  pull_request: { }
  push:
    branches: [ develop ]