ut-utp / core

Mozilla Public License 2.0
1 stars 0 forks source link

CI Reform #174

Open rrbutani opened 2 years ago

rrbutani commented 2 years ago

what

We should: fix up CI and actually gate PRs on it.

This is blocked on:

We want these things out of our CI setup:

steps

where

branch: imp/ci-reform

open questions