target / theta-idl

Define communication protocols between applications using algebraic data types.
Other
45 stars 9 forks source link

Only run stack tests as part of stage.yml #25

Closed TikhonJelvis closed 2 years ago

TikhonJelvis commented 2 years ago

Since both core.yml and stage.yml get run when a PR is merged into stage, it's redundant to run the core compile and tests steps from stage.yml