Run CI on Github ARM runners#5359

Closed

imsdu wants to merge 2 commits into

BlueBrain:masterfrom

imsdu:github-actions-use-arm-runners

Commits on Jun 11, 2025

Run CI on Github ARM runners
Simon Dumas
committed

Commits on Jun 12, 2025

Merge branch 'master' into github-actions-use-arm-runners
imsdu
authored