fix naming issue

shariethernet · Jul 6, 2020 · b03d3d1 · b03d3d1
1 parent a0320d3
commit b03d3d1
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.travis.yml b/.travis.yml
@@ -26,15 +26,15 @@ jobs :
   include :
     - stage : "Check all 3 configs"
       name : "1 Stage"
-    - script: # Run riscv-formal for WARP-V.
+      script: # Run riscv-formal for WARP-V.
       -  sed -i "/-stage/c\   m4_define([\'M4_STANDARD_CONFIG\'], [\'1-stage\'])/" /home/travis/build/$BUILD_PATH/formal/warp-v_formal.tlv
       -  sed -i "/insn   /c\insn            20" checks.cfg
       -  PATH=/home/travis/build/$BUILD_PATH/formal/env/bin:$PATH bash -c 'make verif';
-      name : "4 Stage"
     - script: 
       -  sed -i "/-stage/c\   m4_define([\'M4_STANDARD_CONFIG\'], [\'4-stage\'])/" /home/travis/build/$BUILD_PATH/formal/warp-v_formal.tlv
       -  sed -i "/insn   /c\insn            29" checks.cfg
       -  PATH=/home/travis/build/$BUILD_PATH/formal/env/bin:$PATH bash -c 'make verif';
+      name : "4 Stage"
 
 after_success:
 after_failure: