diff options
| author | Alexandre Flament <alex@al-f.net> | 2021-03-05 11:54:45 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-03-05 11:54:45 +0100 |
| commit | 10ecc303c9ca73f3e0548a192875fd434d757f88 (patch) | |
| tree | e542df0a0fa8e096e03f5bb0640ee35276bbad85 /docs/dev/hello.dot | |
| parent | 245f8626dd92f82cdc03219ee3f7488ae938c864 (diff) | |
Fix integration.yml
Don't run twice the workflow on PR opened from the same repository.
Diffstat (limited to 'docs/dev/hello.dot')
0 files changed, 0 insertions, 0 deletions