Skip to content
formal

feat: do minimal DRC both with and without seal+fill #52

Sign in to view logs

feat: do minimal DRC both with and without seal+fill

feat: do minimal DRC both with and without seal+fill #52

Run time

Learn about OS pricing on GitHub Actions
Job Run time
formal
35s
35s