Skip to content

ci: fix ci trigger and gitlab docker image#3

Closed
lterrac wants to merge 4 commits intoAlgebraic-Programming:mainfrom
lterrac:ci/updateToHiCRCI
Closed

ci: fix ci trigger and gitlab docker image#3
lterrac wants to merge 4 commits intoAlgebraic-Programming:mainfrom
lterrac:ci/updateToHiCRCI

Commits

Commits on May 6, 2025