Skip to content
linters

Formal: close PASTA + prove 2 metrics end-to-end across C++/Python; add STATUS.md #590

Sign in to view logs

Formal: close PASTA + prove 2 metrics end-to-end across C++/Python; add STATUS.md

Formal: close PASTA + prove 2 metrics end-to-end across C++/Python; add STATUS.md #590

Run time

Learn about OS pricing on GitHub Actions
Job Run time
linters
26s
26s