Skip to content
This repository was archived by the owner on Jan 12, 2024. It is now read-only.

Conversation

@cgranade
Copy link
Contributor

Merge diagnostics to master.

@cgranade cgranade added the automerge Pull request is ready to be automatically merged, pending checks and reviews. label Aug 21, 2020
@github-actions github-actions bot merged commit 505fc27 into master Aug 21, 2020
@github-actions github-actions bot deleted the feature/diagnostics branch August 21, 2020 16:25
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

automerge Pull request is ready to be automatically merged, pending checks and reviews.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants