Merge branch 'dev'

This commit is contained in:
Fabio Belavenuto 2022-07-14 13:08:19 -03:00
commit 8528645a6b

View File

@ -5,15 +5,8 @@ on:
# Push # Push
push: push:
branches:
- main
tags: tags:
- v* - v*
# pull_request:
# When a release is published
# release:
# types: [published]
# Allows you to run this workflow manually from the Actions tab # Allows you to run this workflow manually from the Actions tab
workflow_dispatch: workflow_dispatch: