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

Fix PR #122 #130

Merged
merged 1 commit into from
Dec 16, 2024
Merged

Fix PR #122 #130

merged 1 commit into from
Dec 16, 2024

Conversation

ehartmann
Copy link
Contributor

Ensure that post condition is set even if there is an exception

@ehartmann ehartmann temporarily deployed to Pull Request Tests December 16, 2024 09:07 — with GitHub Actions Inactive
@F21
Copy link
Member

F21 commented Dec 16, 2024

Can you update the commit message to something more descriptive?

@ehartmann ehartmann force-pushed the task/eha/fix_cleanup branch from 49f6d83 to 2f83949 Compare December 16, 2024 10:13
@ehartmann ehartmann temporarily deployed to Pull Request Tests December 16, 2024 10:13 — with GitHub Actions Inactive
@ehartmann
Copy link
Contributor Author

Can you update the commit message to something more descriptive?

My bad, I've just fixed it let me know if it's fine for you.

@F21 F21 merged commit 4ce9a27 into Boostport:main Dec 16, 2024
5 checks passed
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