Profile Library Typechecking

Ring extensions of `ℚ` and rational modules (#1452) #28

Sign in to view logs

Triggered via push August 11, 2025 19:21

master

Status Failure

Total duration 12m 42s

Artifacts –

profiling.yaml

on: push

Matrix: typecheck-performance

Annotations

1 error

typecheck-performance (ubuntu-latest, 2.7.0)

Process completed with exit code 1.