New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

Add CI badges to front page #22

Merged

paulo-ferraz-oliveira merged 4 commits into main from feature/ci-badges

Aug 15, 2023

Owner

paulo-ferraz-oliveira commented Aug 15, 2023 •

edited

Loading

Description

Closes #21.

I have performed a self-review of my changes
I have read and understood the contributing guidelines

paulo-ferraz-oliveira added 4 commits

August 15, 2023 13:48


          Add CI badges to front page

2c93060


          Check if it's "us broken" or "them broken"

f628562


          Fix as per CI results: we'll have to try this every now and then

feeee86


          Prepare for 1.0.4

0eecd50

paulo-ferraz-oliveira merged commit a53d443 into main

paulo-ferraz-oliveira deleted the feature/ci-badges branch

August 15, 2023 14:08

# for free to join this conversation on GitHub. Already have an account? # to comment

Labels

None yet