chore: fix CI

[zepfred]

Description of the change

This pull request addresses the issues with the Release CI job.

Checklist

Development

• The changes have been covered with tests, if necessary.
• You have a green build, with the exception of the flaky tests.
• UI and JS files are fully tested, the user interface works for all modules affected by your changes (e.g., solve and analyze buttons).
• The network calls work for all modules affected by your changes (e.g., solving a problem).
• The console messages are validated for all modules affected by your changes.

Code Review

• This pull request includes an explanatory title and description.
• The GitHub issue is linked.
• At least one other engineer has approved the changes.
• After PR is merged, inform the reporter.

[zepfred]

@triceo, the changes were validated here.

[triceo]

LGTM with one minor change.
These changes should also make it to t-solver and t-s-enterprise.

[triceo]

Arguably, this can be removed entirely. It doesn't provide any extra information.