Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
doc: reduce CI options in COLLABORATOR_GUIDE.md
PR-URL: #19458 Reviewed-By: Colin Ihrig <[email protected]> Reviewed-By: Michaël Zasso <[email protected]> Reviewed-By: Richard Lau <[email protected]> Reviewed-By: Daniel Bevenius <[email protected]> Reviewed-By: Luigi Pinca <[email protected]> Reviewed-By: Michael Dawson <[email protected]> Reviewed-By: Jon Moss <[email protected]>
- Loading branch information