ci(#16496): trial routing of knot_lean CI to GitHub-hosted (arbitrage ai-01, runtime a mesurer) - #16607

ci(#16496): trial routing of knot_lean CI to GitHub-hosted (arbitrage ai-01, runtime a mesurer)#16607

myia-ai-01 merged 1 commit into

mainjsboige/CoursIA:mainfrom

fix/16496-knot-hosted-routingjsboige/CoursIA:fix/16496-knot-hosted-routingCopy head branch name to clipboard