Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

commit to test the PR label checker #2

Open
wants to merge 8 commits into
base: pr-label-workflow
Choose a base branch
from
Open

commit to test the PR label checker #2

wants to merge 8 commits into from

Conversation

yut23
Copy link
Owner

@yut23 yut23 commented May 10, 2024

PR Summary

PR Checklist

  • New features are documented, with docstrings and narrative docs
  • Adds a test for any bugs fixed. Adds tests for new features.

@yut23 yut23 force-pushed the test-pr-label-workflow branch from 69ecd62 to f6087fd Compare May 10, 2024 19:48
@yut23 yut23 force-pushed the pr-label-workflow branch from fed56da to 01f3a68 Compare May 10, 2024 19:50
@yut23 yut23 closed this May 10, 2024
@yut23 yut23 reopened this May 10, 2024
@yut23 yut23 force-pushed the test-pr-label-workflow branch from f6087fd to 69ecd62 Compare May 10, 2024 19:52
@yut23 yut23 added infrastructure Related to CI, versioning, websites, organizational issues, etc bug Something isn't working documentation Improvements or additions to documentation and removed bug Something isn't working infrastructure Related to CI, versioning, websites, organizational issues, etc documentation Improvements or additions to documentation labels May 10, 2024
@yut23 yut23 force-pushed the pr-label-workflow branch from 2ddb2ec to a41a926 Compare May 10, 2024 20:17
@yut23 yut23 force-pushed the test-pr-label-workflow branch from 86b5169 to 32d079e Compare May 10, 2024 20:20
@yut23 yut23 added infrastructure Related to CI, versioning, websites, organizational issues, etc and removed documentation Improvements or additions to documentation labels May 10, 2024
@yut23 yut23 force-pushed the pr-label-workflow branch from a41a926 to c7cd9dd Compare May 10, 2024 20:22
@yut23 yut23 force-pushed the test-pr-label-workflow branch from 32d079e to d6af70e Compare May 10, 2024 20:23
@yut23 yut23 removed the infrastructure Related to CI, versioning, websites, organizational issues, etc label May 10, 2024
@yut23 yut23 force-pushed the pr-label-workflow branch from c7cd9dd to adbc033 Compare May 10, 2024 20:31
@yut23 yut23 added the infrastructure Related to CI, versioning, websites, organizational issues, etc label May 10, 2024
@yut23 yut23 force-pushed the pr-label-workflow branch from adbc033 to a227d77 Compare May 10, 2024 20:35
@yut23 yut23 added infrastructure Related to CI, versioning, websites, organizational issues, etc and removed infrastructure Related to CI, versioning, websites, organizational issues, etc labels May 10, 2024
@yut23 yut23 added the bug Something isn't working label May 10, 2024
yut23 added 2 commits May 10, 2024 16:43
@yut23
Switch to github.head_ref for concurrency key
1545d43 
It looks like `github.ref` points to the target branch when triggered by
`pull_request_target`, while `github.head_ref` is always the source
branch.
@yut23
commit to test the PR label checker
bb3aa6b
@yut23 yut23 force-pushed the test-pr-label-workflow branch from d6af70e to bb3aa6b Compare May 10, 2024 20:54
@yut23 yut23 mentioned this pull request May 10, 2024
Open
2 tasks
@yut23 yut23 changed the title commit to test the PR label checker WIP: commit to test the PR label checker Nov 12, 2024
@yut23 yut23 force-pushed the test-pr-label-workflow branch from 0228691 to 159e04e Compare November 12, 2024 20:19
@yut23 yut23 removed the bug Something isn't working label Nov 12, 2024
@yut23 yut23 changed the title WIP: commit to test the PR label checker [wip] commit to test the PR label checker Nov 12, 2024
@yut23 yut23 changed the title [wip] commit to test the PR label checker commit to test the PR label checker Nov 12, 2024
@yut23 yut23 added question Further information is requested bug Something isn't working and removed question Further information is requested labels Nov 12, 2024
@yut23 yut23 force-pushed the pr-label-workflow branch from 5a233bb to 917722a Compare November 12, 2024 20:30
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
bug Something isn't working
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@yut23