Update infra.yml

I'm dumb, of cource you don't deploy infra in PR's...
This commit is contained in:
Chris Kruining 2024-11-14 18:59:37 +01:00 committed by GitHub
parent 5c8415f339
commit 639ac1927a
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -6,12 +6,6 @@ on:
- src/** - src/**
branches: branches:
- main - main
pull_request:
paths-ignore:
- src/**
types: [opened, synchronize, reopened, closed]
branches:
- main
permissions: permissions:
id-token: write id-token: write