seL4Test

SCHED0021: decrease chances of a race condition #131

Sign in to view logs

Triggered via pull request October 27, 2023 01:36

lsf37

opened #105

lsf37/sched0021

Status Success

Total duration 16m 12s

Artifacts –

sel4test-sim.yml

on: pull_request

Matrix: Simulation