1
0
Fork 0
mirror of synced 2026-06-05 09:35:13 +00:00

chore: remove push workflow trigger

This commit is contained in:
peterwoodworth 2023-06-19 16:32:19 -07:00
commit 6d193465ae
No known key found for this signature in database
GPG key ID: 01931412FD685922

View file

@ -3,9 +3,6 @@
name: Devel_workflow
on:
workflow_dispatch:
push:
# - synchronize
# - reopened
#workflow_call:
jobs: