libsel4platsupport: check num_pages after alloc success #201

Sign in to view logs

Triggered via pull request November 20, 2023 10:07

Indanz

synchronize #84

anchao:23091106

Status Success

Total duration 1m 24s

Artifacts –

push.yml

on: pull_request