Remove if merged for now

This commit is contained in:
Merve Noyan 2023-09-21 13:13:24 +02:00 committed by Nicolas Patry
parent a0844641d5
commit ea458581ee

View File

@ -7,7 +7,6 @@ on:
jobs:
update_docs:
if: github.event.pull_request.merged == true
runs-on: ubuntu-latest
steps: