Merge branch 'feature/ids-as-int' into 'main'
Passed
Lorenzo Conti
created pipeline for commit
c2e5f573
, finished
1 related merge request: !235 Merge fork for interoperability of KoMa solver
3 minutes 16 seconds, queued for 2 seconds