external
/
citus
mirror of https://github.com/citusdata/citus.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

cancel concurrent builds of devcontainers for the same branch

pull/7102/head
Nils Dijk 2023-08-22 12:05:54 +00:00
parent 2be9f927d3
commit b21c57c8ca
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
.github/workflows/devcontainer.yml vendored
View File

@ -1,5 +1,9 @@
name: "Build devcontainer" name: "Build devcontainer"
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
cancel-in-progress: true
on: on:
push: push:
paths: paths: