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

Upgraded to updated rascal logo #352

Merged
merged 2 commits into from
Feb 6, 2024
Merged

Upgraded to updated rascal logo #352

merged 2 commits into from
Feb 6, 2024

Conversation

DavyLandman
Copy link
Member

@DavyLandman DavyLandman commented Feb 5, 2024

image

Fixes #124

@DavyLandman DavyLandman force-pushed the new-rascal-logo branch 3 times, most recently from 6379a38 to 3ac1bd8 Compare February 5, 2024 18:13
Copy link

sonarqubecloud bot commented Feb 6, 2024

Quality Gate Passed Quality Gate passed

Kudos, no new issues were introduced!

0 New issues
0 Security Hotspots
No data about Coverage
No data about Duplication

See analysis details on SonarCloud

@DavyLandman DavyLandman merged commit 3051c6b into main Feb 6, 2024
11 checks passed
@DavyLandman DavyLandman deleted the new-rascal-logo branch February 7, 2024 11:22
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.

apply new rascal logo
1 participant