examples/rust-gcoap: Increase gcoap stack

On microbit-v2, getting .well-known/core would otherwise result in a
stack overflow.

Consequently, some boards were removed from the list of supported boards
as the currently required RAM exceeds their capacity.

examples/rust-gcoap/Makefile

@@ -30,6 +30,12 @@ DEVELHELP ?= 1
 # Change this to 0 show compiler invocation lines by default:
 QUIET ?= 1
 
+# Add 3k extra stack: The Rust examples take more of it than gcoap expects,
+# presumably because the example use the standard library's sting formatting
+# instead of one of the more optimized formatters.
+CFLAGS += -DGCOAP_STACK_SIZE='(THREAD_STACKSIZE_DEFAULT + DEBUG_EXTRA_STACKSIZE \
+    + sizeof(coap_pkt_t) + 3072)'
+
 # The name of crate (as per Cargo.toml package name, but with '-' replaced with '_')
 APPLICATION_RUST_MODULE = rust_gcoap
 BASELIBS += $(APPLICATION_RUST_MODULE).module

examples/rust-gcoap/Makefile.ci

@@ -1,11 +1,19 @@
 BOARD_INSUFFICIENT_MEMORY := \
+    airfy-beacon \
     blackpill \
     bluepill \
     bluepill-stm32f030c8 \
+    calliope-mini \
+    im880b \
     i-nucleo-lrwan1 \
+    microbit \
+    nrf51dongle \
+    nrf6310 \
     nucleo-f030r8 \
     nucleo-f031k6 \
     nucleo-f042k6 \
+    nucleo-f070rb \
+    nucleo-f072rb \
     nucleo-f302r8 \
     nucleo-f303k8 \
     nucleo-f334r8 \
@@ -22,4 +30,5 @@ BOARD_INSUFFICIENT_MEMORY := \
     stm32g0316-disco \
     stm32l0538-disco \
     stm32mp157c-dk2 \
+    yunjia-nrf51822 \
     #