workflows: adding on workflow dispatch for the mirror

This commit is contained in:
Zoe Roux
2022-01-11 10:38:29 +01:00
parent fec8c23b1c
commit b0f2f57949
+1
View File
@@ -4,6 +4,7 @@ on:
push:
branches:
- master
workflow_dispatch:
jobs:
Push: