Skip to content
Dogfood Gate

Echo-types as a type-system feature + decidability + let (proof work)… #84

Sign in to view logs

Echo-types as a type-system feature + decidability + let (proof work)…

Echo-types as a type-system feature + decidability + let (proof work)… #84

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Validate K9 contracts
7s
Empty-linter (invisible characters)
5s
Groove manifest check
6s
Validate A2ML manifests
6s
Dogfooding compliance summary
5s
29s