Skip to content

Conversation

@nzpr
Copy link

@nzpr nzpr commented May 3, 2023

Overview

This PR is not for merging purposes but to expose code to measure execution scaling.

Notes

Please make sure that this PR:

Bors cheat-sheet:

  • bors r+ runs integration tests and merges the PR (if it's approved),
  • bors try runs integration tests for the PR,
  • bors delegate+ enables non-maintainer PR authors to run the above.

@nzpr nzpr added the do-not-merge Do not merge label May 3, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

do-not-merge Do not merge

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant