Remove concurrency groups for now. They seem to cause CI hangs

pull/2659/head
Ben Meadors 2023-07-27 06:41:39 -05:00 zatwierdzone przez GitHub
rodzic 86af578df9
commit 0b509c7e79
Nie znaleziono w bazie danych klucza dla tego podpisu
ID klucza GPG: 4AEE18F83AFDEB23
1 zmienionych plików z 3 dodań i 3 usunięć

Wyświetl plik

@ -1,7 +1,7 @@
name: CI
concurrency:
group: ${{ github.ref }}
cancel-in-progress: ${{ github.ref != 'refs/heads/master' }}
#concurrency:
# group: ${{ github.ref }}
# cancel-in-progress: ${{ github.ref != 'refs/heads/master' }}
on:
# # Triggers the workflow on push but only for the master branch
push: