Skip to content

Conversation

@nezgrath
Copy link
Collaborator

No description provided.

@nezgrath nezgrath requested a review from ojkoenig July 15, 2022 13:16
@github-actions github-actions bot added the documentation Improvements or additions to documentation label Jul 15, 2022
@ojkoenig
Copy link
Contributor

Is this property not used in examples?

@nezgrath
Copy link
Collaborator Author

Is this property not used in examples?

Funnily enough, no

@nezgrath nezgrath closed this Jul 15, 2022
@nezgrath nezgrath reopened this Jul 15, 2022
@nezgrath nezgrath merged commit cdfe2a8 into main Jul 15, 2022
@FedericoNegri FedericoNegri deleted the mpawlik/success_criteria branch October 20, 2022 04:37
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants