Merge pull request #1063 from mkroening/ci-udp-timeout

ci: add udp read timeout

Author: mkroening

.github/workflows/ci.yml

@@ -124,6 +124,7 @@ jobs:
       run:
         working-directory: kernel
     strategy:
+      fail-fast: false
       matrix:
         arch: [x86_64, aarch64, riscv64]
         package: [rusty_demo, httpd, testudp, hello_world, miotcp, mioudp]

xtask/src/ci/qemu.rs

@@ -309,6 +309,7 @@ fn test_mioudp() -> Result<()> {
 	socket.connect("127.0.0.1:9975")?;
 	socket.send(buf.as_bytes())?;
 
+	socket.set_read_timeout(Some(Duration::from_secs(10)))?;
 	let mut buf = [0; 128];
 	let received = socket.recv(&mut buf)?;
 	eprintln!("[CI] receive: {}", from_utf8(&buf[..received])?);