libsel4vka: Fix size bits in vka_untyped_retype for seL4_CapTableObject #236

Sign in to view logs

Re-run triggered July 22, 2024 20:06

astevins:retype_cap_table

Status Success

Total duration 29s

Artifacts –

push.yml

on: pull_request