ci: remove PR push trigger

This commit is contained in:
Adam Uhlíř 2023-12-21 15:27:06 +01:00
parent f788008cde
commit 3a3b819110
No known key found for this signature in database
GPG Key ID: 1D17A9E81F76155B

View File

@ -1,6 +1,5 @@
name: Generates circuit assets
on:
pull_request:
workflow_dispatch:
inputs:
maxDepth: