You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
if [ ${{ inputs.extension-name }} != $MANIFEST_NAME ]; then
18
+
echo "Error: Extension name, directory, and manifest.json mismatch"
19
+
echo "Extension '${{ inputs.extension-name }}' must be in the folder '/extensions/${{ inputs.extension-name }}'" and have the name '${{ inputs.extension-name }}' in the manifest.json.
20
+
exit 1
21
+
fi
22
+
shell: bash
23
+
14
24
# Ensures that the manifest.json for the given extension name
15
25
# contains all the required fields for the rest of the release workflow
0 commit comments