Skip to content
E2E + Aspect + Bench

Expand glossary with architecture and technology terms #56

Sign in to view logs

Expand glossary with architecture and technology terms

Expand glossary with architecture and technology terms #56

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Bench — Type System Performance
3m 55s
E2E — Full Pipeline + Integration
41s
Aspect — Safety Invariants
3s
4m 39s