diff options
| author | Kartik Agaram <vc@akkartik.com> | 2019-07-24 18:37:42 -0700 |
|---|---|---|
| committer | Kartik Agaram <vc@akkartik.com> | 2019-07-24 18:37:42 -0700 |
| commit | 51a20da6b30f4afe0405d13bf862b5d72ccefa6d (patch) | |
| tree | c0192b36dc12efe7a8e670000902af932e27844e /html/010vm.cc.html | |
| parent | dccb5c66567b6ebf2663f620b3c404353cb731c6 (diff) | |
| download | mu-51a20da6b30f4afe0405d13bf862b5d72ccefa6d.tar.gz | |
5467
Fix CI by disabling non-native runs that run out of memory.
Diffstat (limited to 'html/010vm.cc.html')
0 files changed, 0 insertions, 0 deletions