Skip to content

[op] corrected bug in several definition domains - #389

Merged
SimonRohou merged 2 commits into
codac-team:codac2_devfrom
SimonRohou:codac2_dev
Jul 29, 2026
Merged

[op] corrected bug in several definition domains#389
SimonRohou merged 2 commits into
codac-team:codac2_devfrom
SimonRohou:codac2_dev

Merge branch 'codac2_dev' of ssh://github.com/codac-team/codac into c…

a7a9c4c
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Ubuntu 24.04 GCC 13 Python 3.10 CAPD tests
succeeded Jul 28, 2026 in 24m 29s