Skip to content

chore: added username for PRs created on GitHub.com #545

chore: added username for PRs created on GitHub.com

chore: added username for PRs created on GitHub.com #545

Triggered via pull request August 26, 2023 09:00
Status Success
Total duration 1m 33s
Artifacts

pull-request.yml

on: pull_request
auto-merge  /  dependabot
0s
auto-merge / dependabot
dependency-review  /  dependency-review
6s
dependency-review / dependency-review
labeler  /  triage
3s
labeler / triage
Matrix: codeql / Analyze
Fit to window
Zoom out
Zoom in

Annotations

1 warning
codeql / Analyze (javascript)
1 issue was detected with this workflow: Please specify an on.push hook to analyze and see code scanning alerts from the default branch on the Security tab.