Skip to content
Check with latest Rzk

Fix Rzk typecheck job, use v1 for rzk-action #142

Sign in to view logs

Fix Rzk typecheck job, use v1 for rzk-action

Fix Rzk typecheck job, use v1 for rzk-action #142

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Check Rzk formatting
6s
Check formalisations
6s
12s