amber
amber copied to clipboard
Docker: Change ownership of core files too
Sometimes bots leave a core file in $ROOT_DIR/core. (But why are the bots passing in that case too?)
Seeing if this works before I request review