Trigger label addition by review comments #6
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
|
|
|
Starting tests for sync_labels |
|
Test action opened |
|
Test action reopened |
|
Test action closed |
|
Test action labeled |
|
Label s: positive review can not be added. Please use the corresponding functionality of GitHub |
|
Label s: needs review can not be removed. Please add the state-label which should replace it |
1 similar comment
|
Label s: needs review can not be removed. Please add the state-label which should replace it |
|
Label s: positive review can not be added due to s: needs work! |
|
Label s: needs review can not be added due to s: needs work! |
|
Label s: positive review can not be removed. Please add the state-label which should replace it |
1 similar comment
|
Label s: positive review can not be removed. Please add the state-label which should replace it |
|
Label s: positive review can not be added due to s: needs work! |
|
Label s: needs review can not be added due to s: needs info! |
|
Label s: needs review can not be removed. Please add the state-label which should replace it |
1 similar comment
|
Label s: needs review can not be removed. Please add the state-label which should replace it |
|
Label s: needs work can not be added. Please use the corresponding functionality of GitHub |
1 similar comment
|
Label s: needs work can not be added. Please use the corresponding functionality of GitHub |
|
Log-Messages of |
|
Label s: needs review can not be added. Please use the corresponding functionality of GitHub |
1 similar comment
|
Label s: needs review can not be added. Please use the corresponding functionality of GitHub |
|
Label s: positive review can not be added. Please use the corresponding functionality of GitHub |
1 similar comment
|
Label s: positive review can not be added. Please use the corresponding functionality of GitHub |
|
Documentation preview for this PR is ready! 🎉 |
soehms
pushed a commit
that referenced
this pull request
Apr 9, 2023
### 📚 Description Trac branch `u/gh-collares/gap-gc` from sagemath#34701, now migrated to GitHub. Currently based atop sagemath#35093; will rebase once that is merged. The rest of the description below is copied from sagemath#34701: A refactor in sagemath#27946 introduced "unprotected" (not surrounded by `GAP_Enter`/`GAP_Leave`) `GAP_ValueGlobalVariable` calls. I believe this might be a GC hazard, because after updating to GAP 4.12.1 I started seeing aarch64 crashes on NixOS infrastructure such as: ``` #0 0x0000fffff79740e8 in wait4 () #1 0x0000fffff5dc6b78 in print_enhanced_backtrace () #2 0x0000fffff5dc8190 in sigdie () #3 0x0000fffff5dcb1c0 in cysigs_signal_handler () #4 0x0000fffff7ffb7cc in __kernel_rt_sigreturn () #5 0x0000ffff99a0bf28 in ConvString () #6 0x0000000000000000 in ?? () #7 0x0000000000000000 in ?? () #8 0x0000000000000000 in ?? () #9 0x0000ffff99989930 in Pr () #10 0x0000ffff9998aa18 in CloseOutput () #11 0x0000ffff99884828 in capture_stdout () at /build/sage- src-9.7/pkgs/sagemath-standard/sage/libs/gap/element.pyx:154 ... ``` I also see cases where `capture_stdout` throws errors such as `sage.libs.gap.util.GAPError: Error, Length: <list> must be a list (not the integer 255)` and then crashes. Both types of errors are fixed by this ticket. Note that I am nesting `GAP_Enter`/`GAP_Leave` calls because I didn't remove the preexisting calls inside `capture_stdout`. That's because I feared removing the innermost calls might create a new footgun (and I believe nested `GAP_Enter`/`GAP_Leave` calls are explicitly supported), but removing them should cause no problem. Removing them might even be preferable for performance reasons, I don't know. Fixes sagemath#34701 ### 📝 Checklist <!-- Put an `x` in all the boxes that apply. --> <!-- If your change requires a documentation PR, please link it appropriately --> <!-- If you're unsure about any of these, don't hesitate to ask. We're here to help! --> - [x] I have made sure that the title is self-explanatory and the description concisely explains the PR. - [x] I have linked an issue or discussion. - [ ] I have created tests covering the changes. - [ ] I have updated the documentation accordingly. ### ⌛ Dependencies <!-- List all open pull requests that this PR logically depends on --> <!-- - #xyz: short description why this is a dependency - #abc: ... --> - sagemath#35093: GAP 4.12.2 upgrade, which touches the same function and should land first. URL: sagemath#35114 Reported by: Mauricio Collares Reviewer(s): Dima Pasechnik
soehms
pushed a commit
that referenced
this pull request
Sep 16, 2023
soehms
pushed a commit
that referenced
this pull request
Jul 25, 2024
<!-- ^ Please provide a concise and informative title. --> <!-- ^ Don't put issue numbers in the title, do this in the PR description below. --> <!-- ^ For example, instead of "Fixes sagemath#12345" use "Introduce new method to calculate 1 + 2". --> <!-- v Describe your changes below in detail. --> <!-- v Why is this change required? What problem does it solve? --> <!-- v If this PR resolves an open issue, please link to it here. For example, "Fixes sagemath#12345". --> EOL 2024-06-30, CI now fails /~https://github.com/mkoeppe/sage/actions/run s/9970528956/job/27549649531#step:11:66 ``` #6 [with-system-packages 2/4] RUN yum install -y centos-release-scl #6 0.267 Loaded plugins: fastestmirror, ovl #6 0.357 Determining fastest mirrors #6 0.867 Could not retrieve mirrorlist http://mirrorlist.centos.org/?rel ease=7&arch=x86_[64](/~https://github.com/mkoeppe/sage/actions/runs/997052 8956/job/27549649531#step:11:65)&repo=os&infra=container error was #6 0.867 14: curl#6 - "Could not resolve host: mirrorlist.centos.org; Unknown error" ``` ### 📝 Checklist <!-- Put an `x` in all the boxes that apply. --> - [x] The title is concise and informative. - [x] The description explains in detail what this PR is about. - [ ] I have linked a relevant issue or discussion. - [ ] I have created tests covering the changes. - [ ] I have updated the documentation and checked the documentation preview. ### ⌛ Dependencies <!-- List all open PRs that this PR logically depends on. For example, --> <!-- - sagemath#12345: short description why this is a dependency --> <!-- - sagemath#34567: ... --> URL: sagemath#38380 Reported by: Matthias Köppe Reviewer(s): Frédéric Chapoton
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
📚 Description
This PR implements the suggestion in sagemath#35172 (comment)
Furthermore, it improves the workflows on label addition. The previous implementation assumes that the GitHub review state was reset after a push. Since this is not the case, some changes have been necessary.
📝 Checklist
⌛ Dependencies