Skip to content
E2E + Aspect + Bench

ci: deploy dogfood-gate, update CI config, add CRG tests #2

Sign in to view logs

ci: deploy dogfood-gate, update CI config, add CRG tests

ci: deploy dogfood-gate, update CI config, add CRG tests #2

Run time

Learn about OS pricing on GitHub Actions
Job Run time
E2E — Full Pipeline + Integration
47s
Aspect — Safety Invariants
4s
Bench — Type System Performance
4m 30s
5m 21s