Build #3 (Tue Oct 15 00:16:29 CEST 2024)

1. Set SCC solving by substitution options in compilation pipeline (details / githubweb)
2. Reduce the default maximum number of iterations for SCC solving by substitution (details / githubweb)

Push event to branch mscuttari/scc-substitution at 00:16:11 on 2024 Oct 15

This run spent:

• 4 min 24 sec waiting;
• 7 min 49 sec build duration;
• 7 min 57 sec total from scheduled to completion.

• mscuttari/scc-substitution