ci: fix ef-tests runs

[enitrat]

Pull Request type

Please check the type of change your PR introduces:

• Bugfix
• Feature
• Code style update (formatting, renaming)
• Refactoring (no functional changes, no API changes)
• Build-related changes
• Documentation content changes
• Other (please describe):

What is the current behavior?

Resolves: #

What is the new behavior?

• Fix the EF-Tests workflow to use the build from the latest v0 release, and use the current build of SSJ. Previously, the workflow was wrongly relying on the latest release of SSJ, thus being ineffective.

Does this introduce a breaking change?

• Yes
• No

---

This change is