Skip to content
Check for stage0 changes

feat: upstream ToExpr deriving handler from Mathlib #7819

Sign in to view logs

feat: upstream ToExpr deriving handler from Mathlib

feat: upstream ToExpr deriving handler from Mathlib #7819

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check-stage0-on-queue
42s
42s