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.

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

Dummy change. Just to trigger CI. #3939

Draft
wants to merge 1 commit into
base: master
Choose a base branch
from

Conversation

rwgk
Copy link
Collaborator

@rwgk rwgk commented May 12, 2022

Description

Dummy change. Just to trigger CI.

I will keep this draft PR around indefinitely for testing the testing on master. (3939 is so easy to remember.)

Suggested changelog entry:

@rwgk rwgk closed this May 13, 2022
@rwgk rwgk reopened this May 13, 2022
@rwgk rwgk force-pushed the master_with_dummy_change branch from b05087f to 1ebaf36 Compare July 14, 2023 19:32
@rwgk rwgk mentioned this pull request Jul 14, 2023
@rwgk rwgk force-pushed the master_with_dummy_change branch from 1ebaf36 to 3b95822 Compare August 15, 2023 04:11
@rwgk rwgk force-pushed the master_with_dummy_change branch from 3f88b0a to a306440 Compare March 11, 2024 17:06
rwgk pushed a commit to rwgk/pybind11 that referenced this pull request Apr 2, 2024
@rwgk rwgk force-pushed the master_with_dummy_change branch from a306440 to 23377c0 Compare April 2, 2024 17:52
@rwgk rwgk closed this Apr 3, 2024
@rwgk rwgk reopened this Apr 3, 2024
@rwgk rwgk force-pushed the master_with_dummy_change branch from cc1dbb9 to 791ceec Compare December 12, 2024 17:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant