Skip to content
Deploy mdBook site to Pages

Extend well-formedness check of ADTs to include where-clauses (#148) #2

Sign in to view logs

Extend well-formedness check of ADTs to include where-clauses (#148)

Extend well-formedness check of ADTs to include where-clauses (#148) #2

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
3m 33s
deploy
4s
3m 37s