seL4 / ci-actions

CI GitHub actions for the seL4 repositories
https://sel4.systems
3 stars 13 forks source link

simulation: signal failure on timeout #340

Closed lsf37 closed 6 months ago

lsf37 commented 6 months ago

Return exit code 0 on expected success string, and exit code 1 on timeout for all simulation scripts. Reduce standard timeout to 20min.

Previously, failure to produce the success string would lead to a timeout which did not signal a test failure and would just continue on to the next test.