remove PR funnies

This commit is contained in:
2022-08-10 22:32:14 +02:00
parent f5d29018b4
commit dcd266ad6d

View File

@@ -3,9 +3,6 @@ name: Deploy
on: on:
push: push:
branches: ["master"] branches: ["master"]
pull_request:
types: ["closed"]
branches: ["master"]
jobs: jobs:
build: build: