libsel4vka: Fix size bits in vka_untyped_retype for seL4_CapTableObject #190

Sign in to view logs

Re-run triggered July 22, 2024 19:37

axel-h

#91

astevins:retype_cap_table

Status Failure

Total duration 26s

Artifacts –

pr.yml

on: pull_request

Trailing Whitespace

Annotations

1 error

Action gitlint failed.