chore: add test suite, clean up third_party, update CI#26

avrabe merged 1 commit intomainpulseengine/rules_rocq_rust:mainfrom

chore/cleanup-tests-issue1pulseengine/rules_rocq_rust:chore/cleanup-tests-issue1Copy head branch name to clipboard