From 4d21bbdd58f35da10a8c107bae5aa95d85ee1788 Mon Sep 17 00:00:00 2001 From: Oliver Gorwits Date: Fri, 6 Oct 2023 15:17:24 +0100 Subject: [PATCH] enable mkoidmap --- .github/workflows/update_maps.yml | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) diff --git a/.github/workflows/update_maps.yml b/.github/workflows/update_maps.yml index b85d0fbee..9c525f13c 100644 --- 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