Skip to content
Back to pull request #672

Skip inner obligations of ImplSource::Builtin #574

Sign in to view logs

Skip inner obligations of ImplSource::Builtin

Skip inner obligations of ImplSource::Builtin #574

Run time

Learn about OS pricing on GitHub Actions
Job Run time
hax
0s
0s