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

Jump to bottom

README.md: update and rearrange badges #15734

Merged

peterrum merged 1 commit into dealii:master from tamiko:update_badges

Jul 13, 2023

Member

tamiko commented Jul 13, 2023

Result can be found here: https://github.com/tamiko/dealii/tree/update_badges


          README.md: update and rearrange badges

dbc5efe

peterrum approved these changes

View reviewed changes

kronbichler approved these changes

View reviewed changes

peterrum merged commit effc7bb into dealii:master

11 of 15 checks passed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment