Skip to content
Check awaiting-mathlib label

fix: teach Exception.isRuntime to detect nested errors #18318

Sign in to view logs

fix: teach Exception.isRuntime to detect nested errors

fix: teach Exception.isRuntime to detect nested errors #18318

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check-awaiting-mathlib
5s
5s