Skip to content
CI

Merge pull request #40 from Roughsketch/feature/non-exhaustive #76

Sign in to view logs

Merge pull request #40 from Roughsketch/feature/non-exhaustive

Merge pull request #40 from Roughsketch/feature/non-exhaustive #76

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check-test
40s
40s