Fix username #58
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: Update leader board after submission merge. | |
| on: | |
| push: | |
| branches: | |
| - development | |
| jobs: | |
| update-file: | |
| if: github.repository == 'infocusp/llm_seminar_series' | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Checkout repository | |
| uses: actions/checkout@v4 | |
| with: | |
| fetch-depth: 10 | |
| - name: Get merge commit hash | |
| id: merge_commit | |
| run: | | |
| merge_commit=$(git log --merges --pretty=format:%H -1 $GITHUB_SHA) | |
| echo "Found merge commit: $merge_commit" | |
| # echo "::set-output name=merge_commit::$merge_commit" | |
| echo "merge_commit=$merge_commit" >> "$GITHUB_ENV" | |
| # Merge commit has maintainer's name so we get name from second last commit | |
| - name: Get original author's name | |
| id: original_author | |
| run: | | |
| echo "Passed merge commit: $merge_commit" | |
| echo "$(git log --format='%ae' -n 2 $merge_commit)" | |
| original_author=$(git log --format='%an' -n 2 $merge_commit | tail -n 1) | |
| original_email=$(git log --format='%ae' -n 2 $merge_commit | tail -n 1) | |
| echo "Author of original commit is $original_author ($original_email)" | |
| # echo "::set-output name=original_author::$original_author" | |
| echo "original_author=$original_author" >> "$GITHUB_ENV" | |
| - name: Check if there are any changes in submissions dir | |
| uses: dorny/[email protected] | |
| id: changes | |
| with: | |
| # Use context to get the branch where commits were pushed. | |
| # If there is only one long-lived branch (e.g. master), | |
| # you can specify it directly. | |
| # If it's not configured, the repository default branch is used. | |
| base: ${{ github.ref }} | |
| filters: | | |
| src: | |
| - added|modified: 'session_2/challenge/submissions/**' | |
| list-files: "shell" | |
| - name: Print changed files | |
| run: | | |
| echo '${{ toJSON(steps.changes.outputs) }}' | |
| - if: ${{ (steps.changes.outputs.src_count > 1) }} | |
| uses: actions/github-script@v7 | |
| with: | |
| script: core.setFailed('More than one submissions are not allowed at once.') | |
| # # TODO(hetul): Get github profile from email https://api.github.com/search/users?q=EMAIL | |
| # - if: ${{ (steps.changes.outputs.src == 'true') && (steps.changes.outputs.src_count == 1) }} | |
| # name: Get author's name from last commit | |
| # id: author_name | |
| # run: | | |
| # # author_name=$(git log -1 --pretty=format:'%an' -- "${{ steps.changes.outputs.src_files }}") | |
| # author_name=$("${{ github.event.commits[0].author.name }}") | |
| # echo Last author $author_name | |
| # echo "{author_name}={$author_name}" >> $GITHUB_OUTPUT | |
| - if: ${{ (steps.changes.outputs.src == 'true') && (steps.changes.outputs.src_count == 1) }} | |
| name: Install Python | |
| uses: actions/setup-python@v5 | |
| with: | |
| python-version: "3.10" | |
| - if: ${{ (steps.changes.outputs.src == 'true') && (steps.changes.outputs.src_count == 1) }} | |
| name: Install dependencies | |
| run: | | |
| python -m pip install --upgrade pip | |
| pip install -r session_2/challenge/requirements.txt | |
| - if: ${{ (steps.changes.outputs.src == 'true') && (steps.changes.outputs.src_count == 1) }} | |
| name: Run leaderboard update script | |
| id: leaderboard-update | |
| run: | | |
| cd session_2/challenge | |
| filename=$(basename "${{ steps.changes.outputs.src_files }}") | |
| filename_without_extension="${filename%.*}" # Remove extension | |
| echo "Author name: $original_author | Submission name: $filename_without_extension" | |
| python -m scripts.leaderboard --github_name="${{ steps.author_name.outputs.author_name }}" --prompt="$filename_without_extension" | |
| # - if: ${{ (steps.changes.outputs.src == 'true') && (steps.changes.outputs.src_count == 1) }} | |
| # name: Commit changes | |
| # uses: EndBug/add-and-commit@v9 | |
| # with: | |
| # message: Updated leaderboard | |
| # default_author: github_actions |