Skip to content
Formal Ledger Specs - PR Merged

CERTS should do the base case first #66

Sign in to view logs

CERTS should do the base case first

CERTS should do the base case first #66

Run time

Learn about OS pricing on GitHub Actions
Job Run time
pr-merged
27s
27s