Skip to content

[WIP] Set the CI to trigger CHAI with update umpire dependency#882

Open
adrienbernede wants to merge 5 commits intodevelopfrom
woptim/multi-project-ci
Open

[WIP] Set the CI to trigger CHAI with update umpire dependency#882
adrienbernede wants to merge 5 commits intodevelopfrom
woptim/multi-project-ci

Commits

Commits on May 17, 2024