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

[full-ci] update reva #2837

Merged
merged 14 commits into from
Dec 7, 2021
Merged

[full-ci] update reva #2837

merged 14 commits into from
Dec 7, 2021

Conversation

wkloucek
Copy link
Contributor

@wkloucek wkloucek commented Dec 2, 2021

Description

update REVA

@wkloucek wkloucek force-pushed the update-reva-a042373b390 branch 3 times, most recently from 180e882 to 191ee27 Compare December 6, 2021 09:17
@sonarcloud
Copy link

sonarcloud bot commented Dec 7, 2021

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 1 Code Smell

0.0% 0.0% Coverage
11.6% 11.6% Duplication

@wkloucek wkloucek marked this pull request as ready for review December 7, 2021 11:01
@wkloucek wkloucek requested review from refs, butonic and C0rby and removed request for kulmann and pascalwengerter December 7, 2021 11:02
@butonic butonic merged commit ffe7574 into master Dec 7, 2021
@delete-merged-branch delete-merged-branch bot deleted the update-reva-a042373b390 branch December 7, 2021 12:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants