0.8
Frama-CI Bot
@frama-ci-bot
9db1739c
·
[ci] automated release should be _fully_ automated
·
Dec 11, 2024
Release:
Release v0.8
Release 0.8
