Skip to content
CI

Change ext_data_get_addr to use bytes for width #79

Sign in to view logs

Change ext_data_get_addr to use bytes for width

Change ext_data_get_addr to use bytes for width #79

Triggered via push May 15, 2024 08:56
@TimmmmTimmmm
pushed 95be70b
user/timh/cheri_width_bytes
Status Success
Total duration 23m 55s
Artifacts 2

compile.yml

on: push
build
23m 47s
build
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
event.json Expired
1.87 KB
tests.xml Expired
2.82 KB