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

CI Build&Test: Show segfaults using GitHub annotations #37738

Merged

Conversation

mkoeppe
Copy link
Member

@mkoeppe mkoeppe commented Apr 3, 2024

Expanding the feature https://github.com/sagemath/sage/wiki/Sage-10.3-Release-Tour#doctest-failures-are-shown-in-the-files-changed-tab-on-prs
to cover doctests that crash the doctest runner.

An example (https://github.com/sagemath/sage/pull/37709/files)
Screenshot 2024-04-03 at 11 14 05 AM

📝 Checklist

  • The title is concise and informative.
  • 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 accordingly.

⌛ Dependencies

Copy link

github-actions bot commented Apr 3, 2024

Documentation preview for this PR (built with commit d605fa7; changes) is ready! 🎉

Copy link
Collaborator

@kwankyu kwankyu left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks working fine.

@mkoeppe
Copy link
Member Author

mkoeppe commented Apr 25, 2024

Thank you!

vbraun pushed a commit to vbraun/sage that referenced this pull request Apr 28, 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". -->

Expanding the feature
https://github.com/sagemath/sage/wiki/Sage-10.3-Release-Tour#doctest-
failures-are-shown-in-the-files-changed-tab-on-prs
to cover doctests that crash the doctest runner.

An example (https://github.com/sagemath/sage/pull/37709/files)
<img width="1078" alt="Screenshot 2024-04-03 at 11 14 05 AM"
src="https://github.com/sagemath/sage/assets/8345221/de990f1f-069c-4fcf-
ac7e-ed915687533b">


### 📝 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 accordingly.

### ⌛ 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#37738
Reported by: Matthias Köppe
Reviewer(s): Kwankyu Lee
@vbraun vbraun merged commit 9097fa2 into sagemath:develop May 2, 2024
14 of 16 checks passed
@mkoeppe mkoeppe added this to the sage-10.4 milestone May 2, 2024
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.

None yet

3 participants