3.1.3 isn't in the Downlioads section of the website: https://flintlib.org/downloads.html

[yurivict]

No description provided.

[edgarcosta]

@fredrik-johansson would it make sense to also add a link to https://github.com/flintlib/flint/releases?

[albinahlback]

@fredrik-johansson would it make sense to also add a link to https://github.com/flintlib/flint/releases?

I think so. But perhaps we should add it to the CI as well, i.e. when we do a release? We have everything set up in .github/CI/docs.yml to push it to the website, so we just have to do something similar to the release. We do, however, need to rebuild the website when we do this.