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.

Sign up for GitHub

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

RULEAPI-827 Update coverage nightly script to also generate the product mapping #4576

Open
wants to merge 4 commits into
base: ft/rule-mapping
Choose a base branch
from
Open

RULEAPI-827 Update coverage nightly script to also generate the product mapping #4576

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
4 commits
Select commit Hold shift + click to select a range
6b91b3a
Update coverage nightly script to also generate the product mapping
frederic-tingaud-sonarsource Dec 13, 2024
7d9c3f3
Re-running script at 6b91b3abcc1750cefd05370e901e5ccc3948d7eb
marco-antognini-sonarsource Dec 16, 2024
f313f22
Merge remote-tracking branch 'origin/ft/rule-mapping' into ft/rule-ma…
marco-antognini-sonarsource Dec 16, 2024
e9a57f6
Re-running script at f313f224968d06eee8d6e6dccb30b55f4fca7e74
marco-antognini-sonarsource Dec 16, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
5 changes: 3 additions & 2 deletions .github/workflows/update_coverage.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -51,7 +51,8 @@ jobs:
run: |
pipenv run rspec-tools update-coverage --rulesdir ../rules
mv ./covered_rules.json ../frontend/public/covered_rules.json
if git diff --exit-code ../frontend/public/covered_rules.json; then
mv ./rule_product_mapping.json ../frontend/public/rule_product_mapping.json
if git diff --exit-code ../frontend/public/covered_rules.json ../frontend/public/rule_product_mapping.json ; then
echo "new_coverage=false" >> "$GITHUB_OUTPUT"
else
echo "new_coverage=true" >> "$GITHUB_OUTPUT"
Expand All @@ -69,7 +70,7 @@ jobs:
git config --global user.name "SonarTech"
git config --global user.email "[email protected]"
git checkout -b $TMP_BRANCH
git add frontend/public/covered_rules.json
git add frontend/public/covered_rules.json frontend/public/rule_product_mapping.json
git commit -m "update coverage information"
git push --force-with-lease origin $TMP_BRANCH

Expand Down
Loading
Loading