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

permission should run on all platforms #478

Merged
merged 2 commits into from
Nov 28, 2022
Merged

permission should run on all platforms #478

merged 2 commits into from
Nov 28, 2022

Conversation

jbsv
Copy link
Contributor

@jbsv jbsv commented Nov 25, 2022

it may happen that the job runs on windows or macos, before the permission job has run on ubuntu, which leads to a failed CI, even though the 'safe PR' label has been set.
This PR aims to correct this behaviour.

@github-actions
Copy link

🔒 Could not start CI tests due to missing safe PR label. Please contact one of the repo maintainers.

@@ -28,13 +33,9 @@ jobs:
echo "::error:: Could not start CI tests due to missing *safe PR* label."
exit 1

test:
coverage:
Copy link
Contributor

Choose a reason for hiding this comment

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

Maybe for clarity

Suggested change
coverage:
test_and_coverage:

runs-on: ubuntu-latest
strategy:
matrix:
platform: [ubuntu-latest, macos-latest, windows-latest]
Copy link
Contributor

Choose a reason for hiding this comment

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

won't this lead to 3 comments being added to the PR ?

@jbsv jbsv added the safe PR label Nov 25, 2022
@sonarcloud
Copy link

sonarcloud bot commented Nov 28, 2022

Kudos, SonarCloud Quality Gate passed!    Quality Gate passed

Bug A 0 Bugs
Vulnerability A 0 Vulnerabilities
Security Hotspot A 0 Security Hotspots
Code Smell A 0 Code Smells

No Coverage information No Coverage information
No Duplication information No Duplication information

@jbsv jbsv merged commit 860d748 into master Nov 28, 2022
@jbsv jbsv deleted the ci_update branch November 28, 2022 14:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants