Skip to content
Check awaiting-manual label

feat: simpler error message when sorries complicate universe inference #10380

Sign in to view logs

feat: simpler error message when sorries complicate universe inference

feat: simpler error message when sorries complicate universe inference #10380

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check-awaiting-manual
2s
2s