mirror of
https://github.com/microsoft/regorus.git
synced 2026-08-05 02:16:11 +00:00
Scripting tweaks (#138)
- No need to build with coverage by default on linux platforms - Will add coverage formally in CI later - Rename rust.yml to pr.yml Signed-off-by: Anand Krishnamoorthi <anakrish@microsoft.com>
This commit is contained in:
committed by
GitHub
parent
bb1b25ff2f
commit
5044d54d18
Reference in New Issue
Block a user