search

seL4 / sel4test

Test suite for seL4.
http://sel4.systems
Other
25 stars 61 forks source link

TIMEOUTFAULT0002 stuck on ODROID_XU4_release_MCS_clang_32 #112

Open lsf37 opened 8 months ago

lsf37 commented 8 months ago

Logging this here, because I have not seen this fail before and it is likely (very) intermittent only -- TIMEOUTFAULT0002 got stuck on this run. The corresponding commit had no code changes, so definitely did not introduce an error.

Wed, 31 Jan 2024 04:01:07 GMT   <testcase classname="sel4test" name="TIMEOUTFAULT0002">
Wed, 31 Jan 2024 04:14:21 GMT  
Wed, 31 Jan 2024 04:14:21 GMT  [[Timeout]]

The failing config was ODROID_XU4_release_MCS_clang_32 on the board odroidxu4_1.

Might be a hardware fluke, just logging it here in case it is related to something else.

Indanz commented 8 months ago

That's that dodgy Odroid board again, isn't it? I don't trust that hardware, and hence won't spend timing debugging problems on it. Could you change CI so it's using odroidxu4_2 instead? If it happens there too, we have more assurance it's not just broken hardware.

lsf37 commented 8 months ago

Happy to try that: https://github.com/seL4/ci-actions/pull/326