if [ -d "/opt/workspace/output" ]; then echo "Exporting bin file to /opt/workspace/output..." cp /opt/workspace/Hexapod/.pio/build/featheresp32/firmware.elf /opt/workspace/output/firmware.elf else echo "No output folder exists" fi