Merge pull request #936 from pguyot/w45/fix-poll-bug-with-select #1949

Job	Run time
run-tests (ubuntu-20.04, -s prime_smp, 21)	3m 7s
run-tests (ubuntu-20.04, -s prime_smp, 22)	1m 59s
run-tests (ubuntu-20.04, -s prime_smp, 23)	3m 21s
run-tests (ubuntu-22.04, -s prime_smp, 24)	2m 35s
run-tests (ubuntu-22.04, -s prime_smp, 25)	2m 45s
run-tests (ubuntu-22.04, -s prime_smp, 26, erlang:26)	6m 17s
run-tests (macos-latest, 23, /usr/local/opt/erlang@23/bin:, -DOPENSSL_ROOT_DIR=/usr/local/opt/ope...	3m 20s
run-tests (macos-latest, 24, /usr/local/opt/erlang@24/bin:, -DOPENSSL_ROOT_DIR=/usr/local/opt/ope...	3m 30s
run-tests (macos-latest, 25, /usr/local/opt/erlang@25/bin:, -DOPENSSL_ROOT_DIR=/usr/local/opt/ope...	3m 49s
	30m 43s

Provide feedback