rename variables

2026-07-21 21:45:21 +00:00 · 2025-08-23 12:54:05 -05:00
parent 21d3167feb
commit fbfb7c224d
3 changed files with 15 additions and 15 deletions
@@ -53,9 +53,9 @@ pipeline {
                    }
                    axis {
                        name 'OPT_AND_LTO'
-                        values 'OPT_LVL=0 LTO=false',
-                                'OPT_LVL=2 LTO=false',
-                                'OPT_LVL=3 LTO=true' 
+                        values 'OPT=0 LTO=false',
+                                'OPT=2 LTO=false',
+                                'OPT=3 LTO=true' 
                    }
                }
                stages {