Can upload but sketch doesn't run

Official Hardware Nano Family Nano ESP32
4

Sketch is Blink with a print statement added:

  https://www.arduino.cc/en/Tutorial/BuiltInExamples/Blink
*/

// the setup function runs once when you press reset or power the board
void setup() {
  // initialize digital pin LED_BUILTIN as an output.
  pinMode(LED_BUILTIN, OUTPUT);
  for (int i = 0; i<300; i++) {
    Serial.print(1.23456, 4);   
  }
  
}

// the loop function runs over and over again forever
void loop() {
  digitalWrite(LED_BUILTIN, HIGH);  // turn the LED on (HIGH is the voltage level)
  delay(1000);                      // wait for a second
  digitalWrite(LED_BUILTIN, LOW);   // turn the LED off by making the voltage LOW
  delay(1000);                      // wait for a second
  Serial.print(1.23456, 4);
}

In ~/arduionIDE/arduion-cli/yaml is see:

board_manager:
    additional_urls: []
build_cache:
    compilations_before_purge: 10
    ttl: 720h0m0s
daemon:
    port: "50051"
directories:
    data: /home/martin/.arduino15
    downloads: /home/martin/.arduino15/staging
    user: /home/martin/Arduino
library:
    enable_unsafe_install: false
logging:
    file: ""
    format: text
    level: info
metrics:
    addr: :9090
    enabled: true
output:
    no_color: false
sketch:
    always_export_binaries: false
updater:
    enable_notification: true

In pluggable-monitor-settings.json is:

{"esp32:esp32:esp32s3-/dev/ttyACM0-serial":{"baudrate":{"id":"baudrate","label":"Baudrate","type":"enum","values":["300","600","750","1200","2400","4800","9600","19200","31250","38400","57600","74880","115200","230400","250000","460800","500000","921600","1000000","2000000"],"selectedValue":"9600"},"bits":{"id":"bits","label":"Data bits","type":"enum","values":["5","6","7","8","9"],"selectedValue":"8"},"dtr":{"id":"dtr","label":"DTR","type":"enum","values":["on","off"],"selectedValue":"on"},"parity":{"id":"parity","label":"Parity","type":"enum","values":["none","even","odd","mark","space"],"selectedValue":"none"},"rts":{"id":"rts","label":"RTS","type":"enum","values":["on","off"],"selectedValue":"on"},"stop_bits":{"id":"stop_bits","label":"Stop bits","type":"enum","values":["1","1.5","2"],"selectedValue":"1"}}}

The log file is empty
recent-sketches.json has:

{
  "file:///home/martin/Arduino/scratch/Blink": 1709672027934
}

recentworkspace.json has:

{"recentRoots":["file:///home/martin/Arduino/scratch/Blink"]}

Looking at the schematic, I see pin 13 is labelled RESETN and connected to GPIO0, whereas the push-button (active low) is connected to pin 3
image
Again, the IDE shows the sketch being properly uploaded, but it doesn't start? Thanks for the help, I'm at a loss; I can't find any documentation on how to start the sketch. I also can only find real minimal documentation on how to the "Tools" menu options for using the Nano ESP32, so maybe I have something incorrect there. I so far can't find where the json file for these options is stored.