scripts/run_ci.sh to cover directories in the exercises and topics dir#315
Merged
bregman-arie merged 8 commits intobregman-arie:masterfrom MengDanzz:masterFeb 5, 2023
+61-45
Commits
Commits on Nov 1, 2022
Commits on Nov 12, 2022
- committed
- committed
- committed
- committed
- committed
