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/subx/examples/ex1.subx.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/subx/examples/ex1.subx.html')
0 files changed, 0 insertions, 0 deletions