5 Commits (e8f0e8cfecf3f625c1d2e6828d9f63f04e701b81)

Author	SHA1	Message	Date
Lucas Nogueira	e8f0e8cfec	install deps on CI [skip ci]	2 years ago
Lucas Fernandes Nogueira	5676e77209	feat: update covector (#393)	2 years ago
Lucas Fernandes Nogueira	5914fb9f36	chore: add license headers (#384) ... * feat: check for license headers * add headers * format	2 years ago
FabianLars	dce0f02bc5	Rename dev branch to v1 and next branch to v2	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