Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add resolution list #4

Merged
merged 1 commit into from
Mar 13, 2023
Merged

Add resolution list #4

merged 1 commit into from
Mar 13, 2023

Conversation

soehms
Copy link
Owner

@soehms soehms commented Mar 13, 2023

📚 Description

According to sagemath/trac-to-github#117 (comment) the resolution list is taken into account for label synchronization, too.

📝 Checklist

  • I have made sure that the title is self-explanatory and the description concisely explains the PR.
  • I have linked an issue or discussion.
  • I have created tests covering the changes.
  • I have updated the documentation accordingly.

⌛ Dependencies

@gitpod-io
Copy link

gitpod-io bot commented Mar 13, 2023

@soehms
Copy link
Owner Author

soehms commented Mar 13, 2023

Starting tests for sync_labels

@soehms
Copy link
Owner Author

soehms commented Mar 13, 2023

Test action opened

@soehms
Copy link
Owner Author

soehms commented Mar 13, 2023

Test action reopened

@soehms
Copy link
Owner Author

soehms commented Mar 13, 2023

Test action closed

@soehms
Copy link
Owner Author

soehms commented Mar 13, 2023

Test action labeled

@soehms
Copy link
Owner Author

soehms commented Mar 13, 2023

Label s: positive review can not be added. Please use the corresponding functionality of GitHub

@github-actions
Copy link

Label s: needs review can not be removed. Please add the state-label which should replace it

1 similar comment
@github-actions
Copy link

Label s: needs review can not be removed. Please add the state-label which should replace it

@github-actions
Copy link

Label s: positive review can not be added due to s: needs work!

@github-actions
Copy link

Label s: positive review can not be added due to s: needs work!

@github-actions
Copy link

Label s: positive review can not be removed. Please add the state-label which should replace it

@github-actions
Copy link

Label s: positive review can not be removed. Please add the state-label which should replace it

@github-actions
Copy link

Label s: needs work can not be added due to s: positive review!

1 similar comment
@github-actions
Copy link

Label s: needs work can not be added due to s: positive review!

@github-actions
Copy link

Label s: needs review can not be added due to s: positive review!

1 similar comment
@github-actions
Copy link

Label s: needs review can not be added due to s: positive review!

@soehms
Copy link
Owner Author

soehms commented Mar 13, 2023

Test action converted_to_draft

@soehms
Copy link
Owner Author

soehms commented Mar 13, 2023

Test action submitted

@github-actions
Copy link

Label s: needs work can not be removed. Please add the state-label which should replace it

1 similar comment
@github-actions
Copy link

Label s: needs work can not be removed. Please add the state-label which should replace it

@github-actions
Copy link

Label s: needs review can not be removed. Please add the state-label which should replace it

1 similar comment
@github-actions
Copy link

Label s: needs review can not be removed. Please add the state-label which should replace it

@github-actions
Copy link

Label s: needs work can not be removed. Please add the state-label which should replace it

1 similar comment
@github-actions
Copy link

Label s: needs work can not be removed. Please add the state-label which should replace it

@github-actions
Copy link

Label s: positive review can not be added. Please use the corresponding functionality of GitHub

1 similar comment
@github-actions
Copy link

Label s: positive review can not be added. Please use the corresponding functionality of GitHub

@soehms soehms merged commit a1c183b into sync_labels Mar 13, 2023
@soehms soehms deleted the sync_labels_resolution branch March 13, 2023 19:52
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 12, 2023
soehms pushed a commit that referenced this pull request Oct 9, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant