diff options
| author | Enrico Tassi | 2020-09-17 13:08:03 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2020-09-17 13:08:03 +0200 |
| commit | 09a8989d98219e974ceb7a2620686117c9ad6fef (patch) | |
| tree | 1428916ae8266061a29a14badf5af3c993fd6891 /kernel/vmlambda.mli | |
| parent | 090550218d0a6d08c7df34b1238d5c0d38520bd5 (diff) | |
[ci] call dmesg after quick/async jobs to detect OOM
Diffstat (limited to 'kernel/vmlambda.mli')
0 files changed, 0 insertions, 0 deletions