| author | |
| committer | |
| log | 5d29b9fad6a2b8467a7055ba2ca57b12abb38f21 |
| tree | 2f1d3539c807f6207105c0579bda27351d9293f0 |
| parent | 6de152ec7cb906362b85ed86a8cf6a22b909b4df |
1 files changed, 1 insertions(+), 0 deletions(-)
.github/workflows/ci.yaml+1| ... | ... | @@ -4,6 +4,7 @@ on: |
| 4 | 4 | push: |
| 5 | 5 | branches: |
| 6 | 6 | - master |
| 7 | - 0.12.x | |
| 7 | 8 | concurrency: |
| 8 | 9 | # Cancels pending runs when a PR gets updated. |
| 9 | 10 | group: ${{ github.head_ref || github.run_id }}-${{ github.actor }} |