libsel4vka: Fix size bits in vka_untyped_retype for seL4_CapTableObject #234

Sign in to view logs

Re-run triggered July 22, 2024 19:37

astevins:retype_cap_table

Status Success

Total duration 34s

Artifacts –

push.yml

on: pull_request