Rename frontpage badges - Githubissues

secondmind-labs / trieste

A Bayesian optimization toolbox built on TensorFlow

Apache License 2.0

212 stars 42 forks source link

Rename frontpage badges #802

Closed uri-granta closed 6 months ago

uri-granta commented 7 months ago

Related issue(s)/PRs:

Summary

Relable and reorder the release deploy and develop check frontpage badges, so it's less scary when the develop checks happen to be failing.

Fully backwards compatible: yes

PR checklist

[ ] The quality checks are all passing
[ ] The bug case / new feature is covered by tests
[ ] Any new features are well-documented (in docstrings or notebooks)