libsel4vka: Fix size bits in vka_untyped_retype for seL4_CapTableObject #192

Sign in to view logs

Re-run triggered July 22, 2024 20:06

axel-h

#91

astevins:retype_cap_table

Status Success

Total duration 27s

Artifacts –

pr.yml

on: pull_request

Trailing Whitespace