ci: adds PR push trigger

This commit is contained in:
Adam Uhlíř 2023-12-20 17:33:58 +01:00
parent fe118f13da
commit f788008cde
No known key found for this signature in database
GPG Key ID: 1D17A9E81F76155B

View File

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