Closed KaiWaldrant closed 10 months ago
fix CI fail by updating submodule OpenProblems-v2 to current main branch
OpenProblems-v2
[x] I have performed a self-review of my code
Check the correct box. Does this PR contain:
[x] Proposed changes are described in the CHANGELOG.md
[x] CI Preview succeeds and looks good!
Describe your changes
fix CI fail by updating submodule
OpenProblems-v2
to current main branchChecklist before requesting a review
[x] I have performed a self-review of my code
Check the correct box. Does this PR contain:
[x] Proposed changes are described in the CHANGELOG.md
[x] CI Preview succeeds and looks good!