itsscb/tracing
1
0
Fork 0
mirror of https://github.com/tokio-rs/tracing.git synced 2026-03-14 01:57:55 +00:00
Code Issues Packages Projects Releases Wiki Activity

chore: add merge_group trigger to CI

Browse Source 
This will allow us to use the GitHub Actions merge queue, which is a
bit nicer for merging multiple PRs while ensuring that they are up to
date with the latest base branch.
This commit is contained in:
Eliza Weisman 2023-10-10 09:15:20 -07:00
parent 4be2eabd4f
commit d07e652fd9
No known key found for this signature in database
GPG Key ID: F9C1A595C3814436
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
.github/workflows/CI.yml vendored
View File

@ -4,7 +4,8 @@ on:
push:
branches:
- master
pull_request: {}
pull_request:
merge_group:
env:
# Disable incremental compilation.