enable mkoidmap

netdisco · Oct 6, 2023 · 4d21bbd · 4d21bbd
1 parent 3c0644d
commit 4d21bbd
Showing 1 changed file with 7 additions and 7 deletions.
diff --git a/.github/workflows/update_maps.yml b/.github/workflows/update_maps.yml
@@ -30,7 +30,7 @@ jobs:
         export MIBHOME=`pwd`
         mkdir -p $MIBHOME/EXTRAS/indexes/cert_indexes
         EXTRAS/scripts/genxlate
-#        EXTRAS/scripts/mkoidmap
+        EXTRAS/scripts/mkoidmap
 
     - name: Commit files
       run: |
@@ -46,10 +46,10 @@ jobs:
         github_token: ${{ secrets.GITHUB_TOKEN }}
         branch: ${{ github.ref }}
 
-    - name: Setup tmate session
-      uses: mxschmitt/action-tmate@v3
-#      if: always() && github.event.inputs.debug_enabled
-      if: always() && ${{ github.event_name == 'workflow_dispatch' && inputs.debug_enabled }}
-#      with:
-#        sudo: true
+#    - name: Setup tmate session
+#      uses: mxschmitt/action-tmate@v3
+##      if: always() && github.event.inputs.debug_enabled
+#      if: always() && ${{ github.event_name == 'workflow_dispatch' && inputs.debug_enabled }}
+##      with:
+##        sudo: true