Commit Graph

3 Commits

Author SHA1 Message Date
Lucas Fernandes Nogueira 5676e77209 feat: update covector (#393) 2023-05-23 17:36:39 -07:00
Lucas Fernandes Nogueira 5914fb9f36 chore: add license headers (#384)
* feat: check for license headers

* add headers

* format
2023-05-21 16:56:10 -03:00
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
2023-04-25 17:31:33 +02:00