Github workflow for building MILLA (#25386)

* Added a Github workflow for building MILLA with !build_milla. * Uncomment a check that didn't work on a same-repo PR. --------- Co-authored-by: FunnyMan3595 (Charlie Nolan) <funnyman@google.com>
2026-08-24 20:47:10 +01:00 · 2024-05-05 15:02:17 +00:00
parent 64e2395bff
commit 2ab2fa76f3
1 changed files with 93 additions and 0 deletions
@@ -0,0 +1,93 @@
+name: Build MILLA
+on:
+  issue_comment:
+    types: created
+
+jobs:
+  build-milla:
+    if: |
+      github.event.issue.pull_request &&
+      (github.event.comment.body == '!build_milla') &&
+      ((github.event.sender.id == github.event.issue.user.id) ||
+      (github.event.comment.author_association == 'COLLABORATOR') ||
+      (github.event.comment.author_association == 'MEMBER') ||
+      (github.event.comment.author_association == 'OWNER'))
+
+    runs-on: ubuntu-latest
+    steps:
+      - name: Like the comment
+        env:
+          BASE_REPOSITORY: ${{ github.repository }}
+          GH_TOKEN: ${{ github.token }}
+        run: |
+          gh api \
+            --method POST \
+            -H "Accept: application/vnd.github+json" \
+            -H "X-GitHub-Api-Version: 2022-11-28" \
+            /repos/$BASE_REPOSITORY/issues/comments/${{ github.event.comment.id }}/reactions \
+            -f content='+1'
+
+      - name: PR Data
+        run: |
+          pr_json=$(curl -L -s --fail-with-body -H "Authorization: token ${{ github.token }}" ${{ github.event.issue.pull_request.url }})
+          if [ `jq -r '.maintainer_can_modify' <<<$pr_json` == "false" ] ; then
+            gh pr comment ${{ github.event.issue.html_url }} --body 'GitHub Actions can not push to the repository without "Allow edits and access to secrets by maintainers" checked.'
+            echo "FAIL_NOTIFIED=true" >> "$GITHUB_ENV"
+            exit 1
+          fi
+          echo "PR_REPO=`jq -r '.head.repo.full_name' <<<$pr_json`" >> $GITHUB_ENV
+          echo "PR_BRANCH=`jq -r '.head.ref' <<<$pr_json`" >> $GITHUB_ENV
+          echo "PR_HEAD_LABEL=`jq -r '.head.label' <<<$pr_json`" >> $GITHUB_ENV
+
+      - uses: actions/checkout@v4
+        with:
+          repository: ${{ env.PR_REPO }}
+          ref: ${{ env.PR_BRANCH }}
+          token: ${{ github.token }}
+
+      - name: Build MILLA
+        env:
+          BASE_BRANCH: ${{ github.event.repository.default_branch }}
+          BASE_REPOSITORY: ${{ github.repository }}
+          GH_TOKEN: ${{ github.token }}
+        run: |
+          # Get the code.
+          git config user.name paradisess13[bot]
+          git config user.email "165046124+paradisess13[bot]@users.noreply.github.com"
+          git pull origin "$PR_BRANCH" --depth=$((ahead_by + 1))
+          git remote add upstream "https://github.com/$BASE_REPOSITORY.git"
+          git fetch upstream "$BASE_BRANCH" --depth=$((behind_by + 1))
+          cd milla
+
+          # Get dependencies.
+          rustup target add i686-unknown-linux-gnu
+          rustup target add i686-pc-windows-gnu
+          sudo dpkg --add-architecture i386
+          sudo apt-get update
+          sudo apt-get install zlib1g-dev:i386 lib32gcc-11-dev mingw-w64 mingw-w64-i686-dev
+
+          # Build it.
+          cargo build --release --target i686-unknown-linux-gnu
+          cargo build --release --target i686-pc-windows-gnu
+
+          # Copy the built targets to their checked-in locations.
+          cp target/i686-unknown-linux-gnu/release/libmilla.so ../tools/ci/libmilla_ci.so
+          cp target/i686-pc-windows-gnu/release/milla.dll ../milla.dll
+
+          # Check if a workflow file would be modified by the merge (permissions prevent pushes if so)
+          latest_workflow_commit=$(git log -n 1 --pretty=format:"%H" upstream/$BASE_BRANCH -- .github/workflows)
+          if ! git branch --contains $latest_workflow_commit | grep -q "$(git rev-parse --abbrev-ref HEAD)"; then
+            gh pr comment ${{ github.event.issue.html_url }} --body "GitHub Actions can not push to this branch as workflow files have been changed since your branch was last updated. Please update your branch past https://github.com/$BASE_REPOSITORY/commit/$latest_workflow_commit before using this command again."
+            echo "FAIL_NOTIFIED=true" >> "$GITHUB_ENV"
+            exit 1
+          fi
+
+          git commit -a -m "Build MILLA" --allow-empty
+          git push origin
+
+      - name: Notify Failure
+        if: failure() && env.FAIL_NOTIFIED != 'true'
+        env:
+          GH_TOKEN: ${{ github.token }}
+        run: |
+          gh pr comment ${{ github.event.issue.html_url }} -b 'Building MILLA failed, see the action run log for details: https://github.com/${{ github.repository }}/actions/runs/${{ github.run_id }}'