libsel4platsupport: check num_pages after alloc success #146

Sign in to view logs

Re-run triggered September 11, 2023 19:57

axel-h

#84

anchao:23091106

Status Success

Total duration 17m 10s

Artifacts –

sel4test-sim.yml

on: pull_request

Matrix: Simulation