Build #3 (Jan 11, 2024, 3:58:04 PM)

1. Remove GitLab performance regression CI (details / githubweb)
2. Cleanup symbols for adapted user-provided values and predicates (details / githubweb)

Pull request #1021 updated at 3:57:50 PM on Jan 11, 2024

This run spent:

• 4 hr 59 min waiting;
• 1 hr 56 min build duration;
• 1 hr 56 min total from scheduled to completion.

• PR-1021