mirror of
https://github.com/searx/searx
synced 2025-02-02 19:26:43 +01:00
10ecc303c9
Don't run twice the workflow on PR opened from the same repository.