Skip to content
GitLab
Explore
Sign in
small adaptation to search string in check_for_warnings.py
Code
Review changes
Check out branch
Download
Patches
Plain diff
Expand sidebar
small adaptation to search string in check_for_warnings.py
Jan Kiene
requested to merge
change_warning_detection_script
into
main
Sep 08, 2022
Overview
0
Commits
1
Pipelines
1
Changes
1
search for "warning" instead of "warning:" to make the script work on windows as well
Merge request reports
Loading