Delete .github/workflows/main.yml #2
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: Publishing | |
| on: | |
| push: | |
| branches: | |
| - main | |
| workflow_dispatch: | |
| inputs: | |
| source_branch: | |
| description: 'Source branch' | |
| required: true | |
| default: 'main' | |
| permissions: | |
| contents: write | |
| jobs: | |
| publish: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Checkout | |
| uses: actions/checkout@v3 | |
| with: | |
| ref: ${{ github.event_name == 'workflow_dispatch' && github.event.inputs.source_branch || github.ref }} | |
| submodules: recursive | |
| - name: Check if should be published | |
| if: ${{ github.event_name != 'workflow_dispatch' && !contains(github.event.head_commit.message, '[pub]') }} | |
| run: | | |
| echo "[pub] string is missing in commit message, skipping ..." | |
| exit 0 | |
| - name: Publish | |
| id: pub | |
| if: ${{ github.event_name == 'workflow_dispatch' || contains(github.event.head_commit.message, '[pub]') }} | |
| run: | | |
| echo "::group::Copy _invariant to all language directories, package them" | |
| SRC_DIR="_invariant" | |
| mkdir -p $SRC_DIR | |
| mkdir -p output | |
| echo "::endgroup::" | |
| for dir in */ ; do | |
| dir=${dir%/} | |
| echo "::group::Language: $dir" | |
| case "$dir" in | |
| _*) continue ;; | |
| esac | |
| echo "Copying language invariant data ..." | |
| cp -r -T -v "$SRC_DIR"/. "$dir"/ | |
| cd $dir | |
| echo "Zipping ..." | |
| zip -r -9 ../output/Help-$SRC_DIR.zip . | |
| cd .. | |
| echo "Language: $dir done." | |
| echo "::endgroup::" | |
| done | |
| echo "Bundling finished." | |
| - name: Create tag | |
| id: newtag | |
| if: steps.pub.outputs.exists == 'true' | |
| run: | | |
| echo "::group::Version overview" | |
| VERSION=$(awk '/^## /{print $2; exit}' CHANGELOG.md) | |
| BODY=$(awk '/^## /{if (seen++) exit} seen' CHANGELOG.md | tail -n +2) | |
| echo "version=$VERSION" >> $GITHUB_OUTPUT | |
| echo "body<<EOF" >> $GITHUB_OUTPUT | |
| echo "$BODY" >> $GITHUB_OUTPUT | |
| echo "EOF" >> $GITHUB_OUTPUT | |
| echo "::endgroup::" | |
| TAG="$VERSION" | |
| echo "::group::Old release delete" | |
| RELEASE_ID=$(curl -s -H "Authorization: token $TOKEN" \ | |
| https://api.github.com/repos/$REPO/releases/tags/$TAG | jq -r .id) | |
| if [ "$RELEASE_ID" != "null" ]; then | |
| echo "Deleting release ID $RELEASE_ID" | |
| curl -s -X DELETE -H "Authorization: token $TOKEN" \ | |
| https://api.github.com/repos/$REPO/releases/$RELEASE_ID | |
| fi | |
| echo "::endgroup::" | |
| echo "::group::Old tag delete" | |
| if git ls-remote --tags origin | grep -q "$TAG"; then | |
| git tag -d "$TAG" || true | |
| git push origin ":refs/tags/$TAG" || true | |
| fi | |
| echo "::endgroup::" | |
| echo "::group::New tag created" | |
| echo "tag=$TAG" >> $GITHUB_OUTPUT | |
| git tag $TAG | |
| git push origin $TAG || true | |
| echo "::endgroup::" | |
| - name: Create release | |
| id: crelease | |
| if: steps.pub.outputs.exists == 'true' | |
| uses: actions/create-release@v1 | |
| with: | |
| tag_name: ${{ steps.newtag.outputs.version }} | |
| release_name: ${{ steps.newtag.outputs.version }} | |
| body: ${{ steps.newtag.outputs.body }} | |
| env: | |
| GITHUB_TOKEN: ${{ secrets._TOKEN }} | |
| - name: Upload helps for languages | |
| if: steps.pub.outputs.exists == 'true' | |
| env: | |
| GITHUB_TOKEN: ${{ secrets._TOKEN }} | |
| TAG: ${{ steps.crelease.outputs.tag }} | |
| REPO: ${{ github.repository }} | |
| run: | | |
| cd output | |
| find . -type f -name "*.zip" -exec gh release upload "$TAG" {} --repo "$REPO" --clobber \; |