mirror of
https://github.com/searx/searx
synced 2025-01-30 09:44:50 +01:00
10ecc303c9
Don't run twice the workflow on PR opened from the same repository.