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