Build #4 (Sat Oct 05 19:41:40 CEST 2024)

1. Make variables to parameters promotion optional (commit: 91b9618) (details / githubweb)
2. Make single valued induction elimination optional (commit: a123cb3) (details / githubweb)
3. Format code (commit: 86701e8) (details / githubweb)
4. Fix wrong wording (commit: bb7cf31) (details / githubweb)

Started by GitHub push by github-actions[bot] (2 times)

This run spent:

• 1 hr 35 min waiting;
• 1 hr 35 min build duration;
• 1 hr 36 min total from scheduled to completion.

• refs/remotes/origin/master