Merge branch 'update-renode' #288

Job	Run time
lint (stable, ubuntu-latest)	1m 12s
build (stable, ubuntu-latest)	3m 7s
test (stable, ubuntu-latest)	28s
build (stable, windows-latest)	7m 25s
test (stable, windows-latest)	4m 10s
build (stable, macos-latest)	2m 20s
test (stable, macos-latest)	25s
build (nightly, ubuntu-latest)	3m 34s
test (nightly, ubuntu-latest)	1m 31s
build (nightly, windows-latest)	9m 34s
test (nightly, windows-latest)	5m 16s
build (nightly, macos-latest)	4m 10s
test (nightly, macos-latest)	2m 30s
	45m 42s

Provide feedback