seL4Test

[patch-axel-7] libsel4allocman: fix type warnings for printing #54

Sign in to view logs

Triggered via pull request November 24, 2023 01:06

axel-h

synchronize #4

patch-axel-7

Status Success

Total duration 9m 24s

Artifacts –

sel4test-sim.yml

on: pull_request

Matrix: Simulation