drill
[MINOR UPDATE]: Improve the Github CI memory constraint workarounds
#2839
Merged
Merged