Skip to content
CI

Change ext_data_get_addr to use bytes for width #96

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 #96

Triggered via push June 3, 2024 15:02
@TimmmmTimmmm
pushed 9194dd5
user/timh/cheri_width_bytes
Status Success
Total duration 24m 40s
Artifacts 2

compile.yml

on: push
build
24m 30s
build
Fit to window
Zoom out
Zoom in

Artifacts

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