Skip to content

Delay label checking on fresh PRs#607

Merged
marcinz merged 2 commits intonv-legate:branch-22.10from
marcinz:label-ci-delay
Sep 23, 2022
Merged

Delay label checking on fresh PRs#607
marcinz merged 2 commits intonv-legate:branch-22.10from
marcinz:label-ci-delay

Conversation

@marcinz
Copy link
Collaborator

@marcinz marcinz commented Sep 22, 2022

When a PR is created, the authors will often set the labels soon after creation. We will have a "grace period" on a new pull request to allow setting labels after the PR is created.

@marcinz marcinz added the category:task PR is a simple task and will not be included in release notes label Sep 22, 2022
@marcinz marcinz merged commit e262c27 into nv-legate:branch-22.10 Sep 23, 2022
manopapad pushed a commit that referenced this pull request Feb 18, 2025
* Some changes for cuNumeric.jl

* Add C++ gemm test and update the gemm batching in C++

* Remove a redundant file

* Address review comments
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

category:task PR is a simple task and will not be included in release notes

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant