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

Create an automatic summary page with all warnings and errors for the testsuite #8042

Merged

Conversation

SaillantNicolas
Copy link
Member

Summary of Changes

Create a page for the Testsuite that lists all warnings and errors in one place

@sloriot
Copy link
Member

sloriot commented Feb 21, 2024

Is it creating a new page with a link on the current testsuite page?

@SaillantNicolas
Copy link
Member Author

A link to the summary page is provided on the main test suite page, directly following the "Diff of testsuites results" section.

@sloriot
Copy link
Member

sloriot commented Feb 21, 2024

@lrineau Merging the PR is enough to get it tomorrow or do we need an update of the script used?

@lrineau
Copy link
Member

lrineau commented Feb 21, 2024

@lrineau Merging the PR is enough to get it tomorrow or do we need an update of the script used?

I'll need to manual update my local copy of master.

@lrineau lrineau self-assigned this Feb 22, 2024
@lrineau lrineau added this to the 6.0-beta milestone Feb 22, 2024
@lrineau lrineau added the rm only: ready for master For the release team only: that indicates that a PR is about to be merged in 'master' label Feb 22, 2024
@lrineau lrineau merged commit 91720e3 into CGAL:master Feb 22, 2024
8 checks passed
@lrineau lrineau added Testsuite Infrastructure and removed rm only: ready for master For the release team only: that indicates that a PR is about to be merged in 'master' labels Feb 22, 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.

3 participants