Update workflow

Following this update : https://github.blog/changelog/2023-09-13-github-actions-updates-to-github_ref-and-github-ref/
This commit is contained in:
Julien Constant
2023-09-19 22:04:46 +02:00
parent 4b587e8711
commit 00ae6e4623
3 changed files with 5 additions and 8 deletions

View File

@ -3,7 +3,7 @@ concurrency: production
on:
push:
branches: [master]
branches: [master, refs/heads/master]
workflow_dispatch:
jobs: