fix: Save listener duration as milliseconds #2297
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: "Lint PR title" | |
on: | |
pull_request_target: | |
types: | |
- opened | |
- edited | |
- synchronize | |
jobs: | |
main: | |
runs-on: ubuntu-latest | |
timeout-minutes: 10 | |
steps: | |
- uses: amannn/[email protected] | |
env: | |
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} | |
with: | |
# For work-in-progress PRs you can typically use draft pull requests | |
# from Github. However, private repositories on the free plan don't have | |
# this option and therefore this action allows you to opt-in to using the | |
# special "[WIP]" prefix to indicate this state. This will avoid the | |
# validation of the PR title and the pull request checks remain pending. | |
# Note that a second check will be reported if this is enabled. | |
wip: true | |
# When using "Squash and merge" on a PR with only one commit, GitHub | |
# will suggest using that commit message instead of the PR title for the | |
# merge commit, and it's easy to commit this by mistake. Enable this option | |
# to also validate the commit message for one commit PRs. | |
validateSingleCommit: true |