> I would really like to move the close button elsewhere (possibly outside the card, as an overlay, or in the compatibility bar, but then we need to do something with the cogwheel) #977
This file contains 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
| # This file contains actions that can be performed on PRs by issuing a comment | |
| name: 🕹️ On demand PR action | |
| on: | |
| issue_comment: | |
| types: [created, edited] | |
| jobs: | |
| # Action to update test results by issuing /lint | |
| run_lint: | |
| name: "On demand linting" | |
| if: | | |
| github.event.issue.pull_request && | |
| (github.event.comment.body == '/lint') && | |
| contains(fromJSON('["COLLABORATOR", "CONTRIBUTOR", "MEMBER", "OWNER"]'), github.event.comment.author_association) | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Get branch name | |
| # see https://github.com/actions/checkout/issues/331 | |
| id: get-branch | |
| run: echo ::set-output name=branch::$(gh pr view $PR_NO --repo $REPO --json headRefName --jq '.headRefName') | |
| env: | |
| REPO: ${{ github.repository }} | |
| PR_NO: ${{ github.event.issue.number }} | |
| GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} | |
| - name: Checkout | |
| uses: actions/checkout@v4 | |
| with: | |
| fetch-depth: 1 | |
| # grab the PR branch | |
| ref: ${{ steps.get-branch.outputs.branch }} | |
| # We can't use GITHUB_TOKEN here because, github actions can't trigger actions | |
| # see: https://docs.github.com/en/actions/security-guides/automatic-token-authentication#using-the-github_token-in-a-workflow | |
| # So this is a personal access token | |
| token: ${{ secrets.GITHUB_TOKEN }} | |
| # we need origin/main to have comparison linting work ! | |
| - name: Fetch origin/develop | |
| run: | | |
| git remote set-branches --add origin develop | |
| git fetch origin | |
| - name: Setup Flutter | |
| uses: subosito/flutter-action@v2 | |
| with: | |
| #channel: stable | |
| cache: true | |
| flutter-version: ${{ steps.flutter-version.outputs.FLUTTER_VERSION }} | |
| cache-key: flutter-${{ hashFiles('flutter-version.txt')}}-${{ hashFiles('packages\smooth_app\pubspec.lock')}} | |
| - run: flutter --version | |
| # Get dependencies | |
| - name: Get dependencies | |
| run: ci/pub_upgrade.sh | |
| # Check for formatting issues and fix them | |
| - name: Check for formatting issues (run "dart format . ") | |
| run: dart format . | |
| - name: Push changes if needed | |
| uses: stefanzweifel/git-auto-commit-action@v5 | |
| with: | |
| commit_message: "chore: Linting changes" | |
| branch: ${{ github.event.pull_request.head.ref }} | |
| commit_user_name: Open Food Facts Bot | |
| commit_user_email: [email protected] | |
| commit_author: Open Food Facts Bot <[email protected]> | |
| push_options: "" | |
| status_options: '--untracked-files=no' | |
| skip_dirty_check: false | |
| create_branch: no | |
| delete_3_letter_translation_files: | |
| name: "On demand deletion of 3-letter translation files" | |
| if: | | |
| github.event.issue.pull_request && | |
| (github.event.comment.body == '/delete-3-letter-translations') && | |
| contains(fromJSON('["COLLABORATOR", "CONTRIBUTOR", "MEMBER", "OWNER"]'), github.event.comment.author_association) | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Get branch name | |
| # see https://github.com/actions/checkout/issues/331 | |
| id: get-branch | |
| run: echo ::set-output name=branch::$(gh pr view $PR_NO --repo $REPO --json headRefName --jq '.headRefName') | |
| env: | |
| REPO: ${{ github.repository }} | |
| PR_NO: ${{ github.event.issue.number }} | |
| GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} | |
| - name: Checkout | |
| uses: actions/checkout@v4 | |
| with: | |
| fetch-depth: 1 | |
| # grab the PR branch | |
| ref: ${{ steps.get-branch.outputs.branch }} | |
| # We can't use GITHUB_TOKEN here because, github actions can't trigger actions | |
| # see: https://docs.github.com/en/actions/security-guides/automatic-token-authentication#using-the-github_token-in-a-workflow | |
| # So this is a personal access token | |
| token: ${{ secrets.GITHUB_TOKEN }} | |
| # we need origin/main to have comparison linting work ! | |
| - name: Fetch origin/develop | |
| run: | | |
| git remote set-branches --add origin develop | |
| git fetch origin | |
| - name: Deletion of 3-letter translation files (1/2) | |
| run: packages/smooth_app/ios/Runner/remove.sh | |
| - name: Deletion of 3-letter translation files (2/2) | |
| run: packages/smooth_app/lib/l10n/remove_3_letter_locales.sh | |
| - name: Push changes if needed | |
| uses: stefanzweifel/git-auto-commit-action@v5 | |
| with: | |
| commit_message: "chore: Deletion of 3-letter translation files" | |
| branch: ${{ github.event.pull_request.head.ref }} | |
| commit_user_name: Open Food Facts Bot | |
| commit_user_email: [email protected] | |
| commit_author: Open Food Facts Bot <[email protected]> | |
| push_options: "" | |
| status_options: '--untracked-files=no' | |
| skip_dirty_check: false | |
| create_branch: no |