Skip to content

Comments

PR template formatting#2668

Merged
pcapriotti merged 1 commit intodevelopfrom
pcapriotti/pr-template-formatting
Sep 2, 2022
Merged

PR template formatting#2668
pcapriotti merged 1 commit intodevelopfrom
pcapriotti/pr-template-formatting

Conversation

@pcapriotti
Copy link
Contributor

Checklist

@pcapriotti pcapriotti temporarily deployed to cachix September 2, 2022 07:59 Inactive
@pcapriotti pcapriotti temporarily deployed to cachix September 2, 2022 07:59 Inactive
@zebot zebot added the ok-to-test Approved for running tests in CI, overrides not-ok-to-test if both labels exist label Sep 2, 2022
@pcapriotti pcapriotti merged commit d7997fb into develop Sep 2, 2022
@pcapriotti pcapriotti deleted the pcapriotti/pr-template-formatting branch September 2, 2022 09:44
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ok-to-test Approved for running tests in CI, overrides not-ok-to-test if both labels exist

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants