Commit Graph

2 Commits

Author SHA1 Message Date
Amr Bashir
fc2e4083b0
ci: check for change tag (#7149)
* ci: check for change tag

* fix workflow

* Update .scripts/ci/check-change-tags.js

* feat: also check if tag is known

seems like covector does not check that so we can do it here for now

* remove push run

* only check changed files

* add missing tag

---------

Co-authored-by: Lucas Fernandes Nogueira <lucas@tauri.studio>
2023-06-07 16:32:36 +03:00
Lucas Fernandes Nogueira
d23d6f60e8
feat(ci): check if generated files match source (#5422) 2022-10-17 12:09:23 -03:00