3 Commits (87dd789b291dcd75c1207ab108b4dd187bdf0673)

Author	SHA1	Message	Date
Lucas Nogueira	87dd789b29	chore(ci): update covector configuration	2 years ago
FabianLars	8e5dead7d3	ci: Prefill covector manager fields.	2 years ago
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