Skip to content

Dev - #717

Merged
fatemeh-i merged 18 commits into
mainfrom
dev
Aug 13, 2026
Merged

Dev#717
fatemeh-i merged 18 commits into
mainfrom
dev

Fix a merge conflict

8a9c4bd
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

10 errors and 5 warnings
Build OPEX and run tests with java 21
succeeded Aug 13, 2026 in 18m 59s