| author | |
| committer | |
| log | 434124a4765d00c9e12e645ee059534a49bdeb23 |
| tree | 4d4aa2cf19f9d7a9d568b8bbc5eef97263cb0d62 |
| parent | 5ba703b0307e1d9d1b836f2a25a60f18b2741f9f |
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 | - llvm16 | |
| 7 | 8 | concurrency: |
| 8 | 9 | # Cancels pending runs when a PR gets updated. |
| 9 | 10 | group: ${{ github.head_ref || github.run_id }}-${{ github.actor }} |