Update mx version to 5.280.5

bjfish · bjfish · commit eb520d85a783 · 2021-01-08T12:22:38.000-06:00
diff --git a/ci.jsonnet b/ci.jsonnet
@@ -44,7 +44,7 @@ local part_definitions = {
       },
 
       packages+: {
-        'mx': '5.279.2',
+        'mx': '5.280.5',
         "pip:ninja_syntax": "==1.7.2",  # Required by NFI and mx
       },
 
