[SER] Patch 1: HitObject type lowering and SM 6.9 enablement #3040
Workflow file for this run
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
name: "Check code formatting" | |
on: | |
pull_request_target: | |
types: [opened,synchronize] | |
issue_comment: | |
types: edited | |
jobs: | |
code_formatter: | |
if: github.event_name == 'pull_request_target' | |
runs-on: ubuntu-latest | |
permissions: | |
pull-requests: write | |
steps: | |
- name: Fetch LLVM sources | |
uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2 | |
with: | |
ref: ${{ github.event.pull_request.head.sha }} | |
- name: Checkout through merge base | |
uses: rmacklin/fetch-through-merge-base@bfe4d03a86f9afa52bc1a70e9814fc92a07f7b75 # v0.3.0 | |
with: | |
base_ref: ${{ github.event.pull_request.base.ref }} | |
head_ref: ${{ github.event.pull_request.head.sha }} | |
deepen_length: 500 | |
- name: Get changed files | |
id: changed-files | |
uses: step-security/changed-files@3dbe17c78367e7d60f00d78ae6781a35be47b4a1 # v45.0.1 | |
with: | |
separator: "," | |
skip_initial_fetch: true | |
- name: "Listed files" | |
env: | |
LISTED_FILES: ${{ steps.changed-files.outputs.all_changed_files }} | |
run: | | |
echo "Formatting files:" | |
echo "$LISTED_FILES" | |
- name: Install clang-format | |
uses: aminya/setup-cpp@v1 | |
with: | |
clangformat: 17.0.1 | |
- name: Setup Python env | |
uses: actions/setup-python@v4 | |
with: | |
python-version: '3.11' | |
cache: 'pip' | |
cache-dependency-path: 'utils/git/requirements_formatting.txt' | |
- name: Install python dependencies | |
run: pip install -r utils/git/requirements_formatting.txt | |
- name: Run code formatter | |
id: formatter | |
env: | |
GITHUB_PR_NUMBER: ${{ github.event.pull_request.number }} | |
START_REV: ${{ github.event.pull_request.base.sha }} | |
END_REV: ${{ github.event.pull_request.head.sha }} | |
CHANGED_FILES: ${{ steps.changed-files.outputs.all_changed_files }} | |
run: | | |
python utils/git/code-format-helper.py \ | |
--token ${{ secrets.GITHUB_TOKEN }} \ | |
--issue-number $GITHUB_PR_NUMBER \ | |
--start-rev $START_REV \ | |
--end-rev $END_REV \ | |
--changed-files "$CHANGED_FILES" | |
apply_diff: | |
if: ${{ github.event_name == 'issue_comment' && endsWith(github.event.comment.body, '- [x] Check this box to apply formatting changes to this branch.') }} | |
runs-on: ubuntu-latest | |
env: | |
TMP_DIFF_FILE: /tmp/diff.patch | |
permissions: | |
pull-requests: write | |
contents: write | |
steps: | |
- uses: actions/github-script@v3 | |
id: get-pr | |
with: | |
script: | | |
const request = { | |
owner: context.repo.owner, | |
repo: context.repo.repo, | |
pull_number: context.issue.number | |
} | |
core.info(`Getting PR #${request.pull_number} from ${request.owner}/${request.repo}`) | |
try { | |
const result = await github.pulls.get(request) | |
return result.data | |
} catch (err) { | |
core.setFailed(`Request failed with error ${err}`) | |
} | |
- name: Fetch LLVM sources | |
uses: actions/checkout@v4 | |
with: | |
fetch-depth: 2 | |
path: build/main_src | |
- name: Setup Python env | |
uses: actions/setup-python@v4 | |
with: | |
python-version: '3.11' | |
cache: 'pip' | |
cache-dependency-path: 'build/main_src/utils/git/requirements_formatting.txt' | |
- name: Install python dependencies | |
run: pip install -r build/main_src/utils/git/requirements_formatting.txt | |
- name: Apply code diff | |
env: | |
GITHUB_PR_NUMBER: ${{ github.event.issue.number }} | |
COMMENT_ID: ${{ github.event.comment.id }} | |
run: | | |
python build/main_src/utils/git/code-format-save-diff.py \ | |
--token ${{ secrets.GITHUB_TOKEN }} \ | |
--issue-number $GITHUB_PR_NUMBER \ | |
--tmp-diff-file $TMP_DIFF_FILE \ | |
--comment-id $COMMENT_ID | |
- name: Fetch LLVM sources for head | |
uses: actions/checkout@v4 | |
with: | |
fetch-depth: 2 | |
ref: ${{ fromJSON(steps.get-pr.outputs.result).head.ref }} | |
repository: ${{ fromJSON(steps.get-pr.outputs.result).head.repo.full_name }} | |
- name: apply diff | |
run: | | |
git apply $TMP_DIFF_FILE | |
git add . | |
- name: Commit & Push changes | |
uses: actions-js/push@master | |
with: | |
branch: ${{ fromJSON(steps.get-pr.outputs.result).head.ref }} | |
repository: ${{ fromJSON(steps.get-pr.outputs.result).head.repo.full_name }} | |
github_token: ${{ secrets.GITHUB_TOKEN }} |