351 Commits (5b37a2f682b851f104e640decae35a4a616f72e2)

Author	SHA1	Message	Date
Fabian-Lars	3fddf476de	ci: set up covector (#329) ... * ci: set up covector * remove postpublish * push new tags to mirrors * fetch tags of current repo in workflow file * use our fork of create-pull-request action * fmt * use org tokens * simplify string subst * fmt again	2 years ago