Volnei Munhoz f27b7e2938 chore: Add github actions (#510) ...

* merge main

* organize workflow

* format only to verify

* parallelize

* parallelize format

* better job names

* cherry-picks

* cherry-picks

2025-11-17 19:41:44 +01:00

681 B

Raw Permalink Blame History

View Raw