cfallin commented on issue #4388:
This PR also removes the CI exception for
meetings/
. That means that we'll pay the cost once for redundant runs here but subsequently it won't be an issue (and we don't need to temporarily tweak the merge-gating config to allow this in).
Last updated: Dec 23 2024 at 12:05 UTC