Skip to content
Back to pull request #672

Skip inner obligations of ImplSource::Builtin #627

Sign in to view logs

Skip inner obligations of ImplSource::Builtin

Skip inner obligations of ImplSource::Builtin #627

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Add issue/pr to project
2s
2s