Merge branch 'master' into plato

This commit is contained in:
2022-12-30 12:21:22 +01:00
committed by GitHub
2 changed files with 0 additions and 4 deletions

View File

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