Make readme a bit prettier

polarity-lang / polarity

A Language with Dependent Data and Codata Types

https://polarity-lang.github.io

Apache License 2.0

57 stars 2 forks source link

Make readme a bit prettier #374

Closed MangoIV closed 4 days ago

MangoIV commented 4 days ago

Hi, I have taken the freedom to make the README a tad prettier :)

rendered

MangoIV commented 4 days ago

The markdown lint seems like it disagrees that having the logo first is a good idea, I think it does look nice. And Codecov is mad because of the rate limit being reached :eyes:

timsueberkrueb commented 4 days ago

[2024-11-18T15:15:00.533Z] ['error'] There was an error running the uploader: Error uploading to [https://codecov.io:](https://codecov.io/) Error: There was an error fetching the storage URL during POST: 429 - {"message":"Rate limit reached. Please upload with the Codecov repository upload token to resolve issue. Expected time to availability: 3337s."}

@BinderDavid are we using the correct token?

BinderDavid commented 4 days ago

It might be due to the fact that the codecov action is not recent enough. I will bump from v3 to v5 and see if that works.

BinderDavid commented 4 days ago

When I click on the Rerun jobs button it reruns the old configuration with the v3 action. The v5 action works on main, so maybe rebasing fixes that issue :)

codecov[bot] commented 4 days ago

Codecov Report

All modified and coverable lines are covered by tests :white_check_mark:

🚨 Try these New Features:

Flaky Tests Detection - Detect and resolve failed and flaky tests
JS Bundle Analysis - Avoid shipping oversized bundles

BinderDavid commented 4 days ago

Oh no, @timsueberkrueb and I had a race condition ^^