Skip to content

Backport of ci: increase deep-copy and lint-enum jobs to use large runner as they hang in ENT into release/1.15.x#16870

Merged
jmurret merged 1 commit intorelease/1.15.xfrom
jm/1.15-deep-copy
Apr 4, 2023
Merged

Backport of ci: increase deep-copy and lint-enum jobs to use large runner as they hang in ENT into release/1.15.x#16870
jmurret merged 1 commit intorelease/1.15.xfrom
jm/1.15-deep-copy

Conversation

@jmurret
Copy link
Member

@jmurret jmurret commented Apr 4, 2023

Description

Testing & Reproduction steps

Links

PR Checklist

  • updated test coverage
  • external facing docs updated
  • not a security concern

@github-actions github-actions bot added the theme/contributing Additions and enhancements to community contributing materials label Apr 4, 2023
@jmurret jmurret added pr/no-changelog PR does not need a corresponding .changelog entry pr/no-backport labels Apr 4, 2023
@jmurret jmurret merged commit 45a9a26 into release/1.15.x Apr 4, 2023
@jmurret jmurret deleted the jm/1.15-deep-copy branch April 4, 2023 17:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

pr/no-backport pr/no-changelog PR does not need a corresponding .changelog entry theme/contributing Additions and enhancements to community contributing materials

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant