KEMBAR78
Adding documentation about default target and the environment variable to override it by khalatepradnya · Pull Request #899 · NVIDIA/cuda-quantum · GitHub
Skip to content

Conversation

@khalatepradnya
Copy link
Collaborator

Docs update - Addresses #886

@copy-pr-bot
Copy link

copy-pr-bot bot commented Nov 9, 2023

This pull request requires additional validation before any workflows can run on NVIDIA's runners.

Pull request vetters can view their responsibilities here.

Contributors can view more details about this message here.

@khalatepradnya khalatepradnya self-assigned this Nov 9, 2023
@khalatepradnya khalatepradnya marked this pull request as ready for review November 9, 2023 22:08
@bettinaheim bettinaheim added this to the release 0.5.0 milestone Nov 9, 2023
@khalatepradnya khalatepradnya added the documentation Improvements or additions to documentation label Nov 10, 2023
Copy link
Collaborator

@bettinaheim bettinaheim left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good - just some minor suggestions.

@khalatepradnya khalatepradnya enabled auto-merge (squash) November 13, 2023 17:29
@khalatepradnya
Copy link
Collaborator Author

khalatepradnya commented Nov 13, 2023

/ok to test

Command Bot: Processing...

1 similar comment
@khalatepradnya
Copy link
Collaborator Author

khalatepradnya commented Nov 13, 2023

/ok to test

Command Bot: Processing...

@khalatepradnya
Copy link
Collaborator Author

khalatepradnya commented Nov 13, 2023

/ok to test

Command Bot: Processing...

@khalatepradnya khalatepradnya enabled auto-merge (squash) November 13, 2023 22:31
@khalatepradnya khalatepradnya merged commit c9a4ffa into NVIDIA:main Nov 13, 2023
@github-actions github-actions bot locked and limited conversation to collaborators Nov 13, 2023
@khalatepradnya khalatepradnya deleted the docs/issue-886 branch November 13, 2023 23:21
@bettinaheim bettinaheim added the no release notes Don't list this PR in the release notes label Nov 15, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

documentation Improvements or additions to documentation no release notes Don't list this PR in the release notes

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants