Amr Bashir and GitHub
264a044097
ci: recognize contributors in releases ( #1440 )
2024-06-07 21:29:58 +02:00
Fabian-Lars and GitHub
0d4d029011
build: Update pnpm to v9 ( #1309 )
...
* build: Update pnpm to v9
* update actions
* remove last actions-rs usage
* clippy
* clippy again
* revert default feature
2024-05-13 17:03:04 +02:00
Lucas Fernandes Nogueira and GitHub
5676e77209
feat: update covector ( #393 )
2023-05-23 17:36:39 -07:00
Lucas Fernandes Nogueira and GitHub
5914fb9f36
chore: add license headers ( #384 )
...
* feat: check for license headers
* add headers
* format
2023-05-21 16:56:10 -03:00
Fabian-Lars and GitHub
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