Files
Brian Clozel b1b44946db Fix git tag name resource in CI pipeline
Prior to this commit, the git tag used for the GitHub release generation
was missing the "v" prefix.
2022-05-18 16:58:05 +02:00
..
2021-12-10 21:15:53 +01:00
2020-11-13 11:51:14 +01:00