Angus Gratton 6e1aa985e7 ci: Increase INT_WDT_TIMEOUT_MS for PSRAM configs
This shouldn't be necessary, it's a workaround for a bug
in the config system.
2019-10-28 18:58:05 +11:00
..
2019-09-04 10:53:25 +10:00
bt
2019-05-21 09:09:01 +02:00
2019-09-04 10:53:25 +10:00
2019-09-04 10:53:25 +10:00
2019-09-04 10:53:25 +10:00
2019-09-04 10:53:25 +10:00
2019-09-04 10:53:25 +10:00