Update pull request number logging in CI workflow #14
This file contains hidden or 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: ci | |
| on: | |
| push: | |
| pull_request: | |
| concurrency: | |
| group: ${{ github.ref }} | |
| cancel-in-progress: true | |
| jobs: | |
| dummy_1: | |
| name: 'Dummy Task 1' | |
| runs-on: ubuntu-latest | |
| timeout-minutes: 5 | |
| steps: | |
| - name: Print pull request number as annotation | |
| run: | | |
| if [ "${{ github.event_name }}" = "pull_request" ]; then | |
| echo "::notice title=debug_pull_request_number_str::${{ github.event.number }}" | |
| fi | |
| echo "test1" >> $GITHUB_STEP_SUMMARY | |
| echo "test2" >> $GITHUB_STEP_SUMMARY | |
| - name: Print 200 lines then fail | |
| run: | | |
| for i in $(seq 1 200); do | |
| echo "Dummy line $i" | |
| done | |
| true | |
| dummy_2: | |
| name: 'Dummy Task 2' | |
| runs-on: ubuntu-latest | |
| timeout-minutes: 5 | |
| steps: | |
| - name: Print pull request number as annotation | |
| run: | | |
| if [ "${{ github.event_name }}" = "pull_request" ]; then | |
| echo "::notice title=debug_pull_request_number_str::${{ github.event.number }}" | |
| fi | |
| echo "test1" >> $GITHUB_STEP_SUMMARY | |
| echo "test2" >> $GITHUB_STEP_SUMMARY | |
| - name: Print 200 lines then fail | |
| run: | | |
| for i in $(seq 1 200); do | |
| echo "Dummy line $i" | |
| done | |
| true |