remove notypeclasses apply; it is somehow very slow (!592) · Merge requests · Iris / stdpp

Merged Ralf Jung requested to merge ralf/no-notypeclasses-apply into master 2 months ago

Status	Pipeline	Stages
Passed 00:02:43 2 months ago	remove notypeclasses apply; it is somehow very slow #119668 592 af70e2de	Stage: build	Download artifacts No artifacts found
Failed 00:01:51 2 months ago	remove notypeclasses apply; it is somehow very slow #119667 592 8c69a587	Stage: build	Download artifacts No artifacts found
0
Failed 00:01:57 2 months ago	remove notypeclasses apply; it is somehow very slow #119376 592 c0c4fb0a	Stage: build	Download artifacts No artifacts found
0

remove notypeclasses apply; it is somehow very slow