Codeberg Mirror: Hopefully fix race condition

This commit is contained in:
V 2023-06-16 19:44:36 +02:00
parent e8d90d2b45
commit 2039e10fd5
No known key found for this signature in database
GPG key ID: A1DC0CFB5615D905

View file

@ -1,4 +1,7 @@
name: Sync to Codeberg name: Sync to Codeberg
concurrency:
group: ${{ github.ref }}
cancel-in-progress: true
on: on:
push: push:
workflow_dispatch: workflow_dispatch: