mirror of
https://github.com/searx/searx
synced 2025-01-31 18:34:48 +01:00
10ecc303c9
Don't run twice the workflow on PR opened from the same repository.