Skip to content

Command result: deprecate is_successful() method in favor of new successful property#16

Merged
Deuchnord merged 1 commit intomainfrom
successful-property
Jul 19, 2023
Merged

Command result: deprecate is_successful() method in favor of new successful property#16
Deuchnord merged 1 commit intomainfrom
successful-property

Conversation

@Deuchnord
Copy link
Owner

@Deuchnord Deuchnord commented Jul 19, 2023

No description provided.

@Deuchnord Deuchnord changed the title Command result: deprecate is_successful() method in favor of new succ… Command result: deprecate is_successful() method in favor of new successful property Jul 19, 2023
@Deuchnord Deuchnord changed the title Command result: deprecate is_successful() method in favor of new successful property Command result: deprecate is_successful() method in favor of new successful property Jul 19, 2023
@Deuchnord Deuchnord force-pushed the successful-property branch from 077abef to ed42dd2 Compare July 19, 2023 11:15
@coveralls
Copy link

coveralls commented Jul 19, 2023

Coverage Status

coverage: 99.138% (-0.9%) from 100.0% when pulling 214332f on successful-property into 366a4e7 on main.

@Deuchnord Deuchnord force-pushed the successful-property branch from ed42dd2 to f5f55a9 Compare July 19, 2023 11:17
@Deuchnord Deuchnord force-pushed the successful-property branch from f5f55a9 to 214332f Compare July 19, 2023 12:10
@Deuchnord Deuchnord merged commit 3cbedad into main Jul 19, 2023
@Deuchnord Deuchnord deleted the successful-property branch July 19, 2023 12:20
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.

2 participants