| name: CI Tests |
| on: |
| pull_request_target: |
| types: [labeled] |
| |
| jobs: |
| trivial: |
| runs-on: ubuntu-latest |
| if: contains(github.event.pull_request.labels.*.name, 'ci:test') |
| name: CI Machinery Tests |
| steps: |
| - name: Checkout Repo |
| uses: actions/checkout@v2 |
| - name: show selected vars |
| run: | |
| echo "GITHUB_ACTOR: $GITHUB_ACTOR" |
| echo "GITHUB_HEAD_REF: $GITHUB_HEAD_REF" |
| echo "GITHUB_BASE_REF: $GITHUB_BASE_REF" |
| echo "GITHUB_REF: $GITHUB_REF" |
| echo "GITHUB_REPOSITORY: $GITHUB_REPOSITORY" |
| echo "GITHUB_SHA: $GITHUB_SHA" |
| echo ${{ github.event.number }} |
| - name: create json file |
| run: | |
| python3 .github/assets/write_json.py -f ./.tests/test.json |
| - name: commit ci info file |
| run: | |
| git config --local user.email "$(git log --format='%ae' HEAD^!)" |
| git config --local user.name "$(git log --format='%an' HEAD^!)" |
| git remote add github "https://$GITHUB_ACTOR:$GITHUB_TOKEN@github.com/$GITHUB_REPOSITORY.git" |
| git pull github ${GITHUB_REF} |
| git add . |
| git commit -m "adding ci data" |
| git push --force github HEAD:${GITHUB_HEAD_REF} |
| |