Remove IDRIS_SHA from build-devcontainer-img

Author: joshuanianji

.github/actions/build-devcontainer-img/action.yml

@@ -70,7 +70,6 @@ runs:
           IDRIS_LSP_VERSION=${{ inputs.idris-lsp-version }}
           IDRIS_LSP_SHA=${{ steps.get-sha.outputs.lsp-sha }}
           IDRIS_VERSION=${{ inputs.idris-version }}
-          IDRIS_SHA=${{ steps.get-sha.outputs.idris-sha }}
           BASE_IMG=${{ inputs.base-tag }}
         tags: ${{ inputs.tags }}
         load: ${{ inputs.load }}