Merge pull request #910 from pguyot/w43/fix-pico-flappiness #1858

Job	Run time
run-tests (ubuntu-20.04, -s prime_smp, 21)	3m 31s
run-tests (ubuntu-20.04, -s prime_smp, 22)	3m 38s
run-tests (ubuntu-20.04, -s prime_smp, 23)	3m 1s
run-tests (ubuntu-22.04, -s prime_smp, 24)	3m 56s
run-tests (ubuntu-22.04, -s prime_smp, 25)	3m 46s
run-tests (ubuntu-22.04, -s prime_smp, 26, erlang:26)	4m 55s
run-tests (macos-latest, 23, /usr/local/opt/erlang@23/bin:, -DOPENSSL_ROOT_DIR=/usr/local/opt/ope...	3m 21s
run-tests (macos-latest, 24, /usr/local/opt/erlang@24/bin:, -DOPENSSL_ROOT_DIR=/usr/local/opt/ope...	3m 47s
run-tests (macos-latest, 25, /usr/local/opt/erlang@25/bin:, -DOPENSSL_ROOT_DIR=/usr/local/opt/ope...	3m 57s
	33m 52s

Provide feedback