Make Writetime filter + custom writetimestamp work correctly when used together #523
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
| # GitHub Action CI | |
| # Snyk clean-up when PR is merged/closed | |
| name: 🗑️ Snyk PR cleanup - merged/closed | |
| on: | |
| pull_request: | |
| types: | |
| - closed | |
| branches: | |
| - main | |
| workflow_dispatch: | |
| concurrency: | |
| group: '${{ github.workflow }} @ ${{ github.event.pull_request.head.label || github.head_ref || github.ref }}' | |
| #group: ${{ github.workflow }}-${{ github.ref }}-${{ github.job || github.run_id }} | |
| cancel-in-progress: true | |
| jobs: | |
| # this is a workaround for the issue that github actions does not support status check on workflow level | |
| skip-means-success: | |
| if: ${{ failure() }} | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: an always fail step | |
| run: | | |
| echo "if it reaches here, it means that some previous job(s) failed!" | |
| exit 123 |