Closed mgorny closed 3 years ago
It seems that the tag corresponding to 0.15.5 release hasn't been pushed to GitHub.
Good catch, thanks for the report. The CI scripts must need to be updated. I manually added it.
It seems that the tag corresponding to 0.15.5 release hasn't been pushed to GitHub.