tree bd3d601551f9c91e8637bf17f9f19164928b2b00
parent 597b8e6ea7d51557c170cb9c587b0ef8a7e4827d
author Sam Leffler <sleffler@google.com> 1674602267 +0000
committer Sam Leffler <sleffler@google.com> 1675191660 +0000

sim:tests: update shodan_sel4test.robot for debug build changes

sel4test now uses debug builds; update the robot script to use different
artifacts.

Change-Id: I74c6a237628ae8743ce4a5e8b8c852dbcc1ce7fa