0.3.1

github-actions released this 13 Mar 17:01

· 218 commits to main since this release

8caad47

0.3.1 - 2024-03-13

Compare with 0.3.0

Merge upstream

Remove prefix from completed goals HTML ids (3e1d865 by Timothée Mazzucotelli).
Link to global goal when there are no features (fe6c538 by Timothée Mazzucotelli).
Prepare goal names (fe89ca7 by Timothée Mazzucotelli).

Assets 2