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

Testsuite: Add DEBUG/RELEASE build type to test result page #8478

Merged

Conversation

SaillantNicolas
Copy link
Member

Summary of Changes

Add DEBUG/RELEASE build type to test result page
You can see the changes here

Release Management

@@ -524,6 +525,7 @@ EOF
($platform_is_optimized{$pf}) = ($tmp[1] =~ m|([-/]x?O[1-9])|);
$_ = <PLATFORM_INFO>;
chomp;
my $build_type = $platform_is_optimized{$pf} ? "RELEASE" : "DEBUG";
Copy link
Member

Choose a reason for hiding this comment

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

RELEASE vs. DEBUG is not enough to easily distinguish between the two, visually:

Screenshot_20240911_154526

And by the way, can you spot the one issue in those results? (click!)

Screenshot_20240911_154526

Maybe different colors? Or icons?

@lrineau lrineau linked an issue Sep 11, 2024 that may be closed by this pull request
@lrineau lrineau modified the milestones: 6.0, 6.1-beta Sep 20, 2024
@lrineau lrineau self-assigned this Sep 20, 2024
@lrineau lrineau merged commit b2a0987 into CGAL:master Sep 20, 2024
9 checks passed
@lrineau
Copy link
Member

lrineau commented Sep 20, 2024

I have tested locally. I merge.

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.

Add a column for DEBUG/RELEASE.
2 participants