Skip to content
Back to pull request #148

Extend well-formedness check of ADTs to include where-clauses #371

Sign in to view logs

Extend well-formedness check of ADTs to include where-clauses

Extend well-formedness check of ADTs to include where-clauses #371

Run time

Learn about OS pricing on GitHub Actions
Job Run time
rust-test (ubuntu-latest)
2m 7s
rust-test (macos-latest)
2m 51s
rust-test (windows-latest)
3m 17s
8m 15s