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

Big bug fixing part 2 #2209

Merged
merged 28 commits into from
Oct 16, 2024
Merged

Conversation

dvir001
Copy link
Contributor

@dvir001 dvir001 commented Oct 13, 2024

About the PR

More bug fixing by restoring some of the workflow

Why / Balance

How to test

Media

N/A

Requirements

Breaking changes

I hope not.

Changelog
N/A

@github-actions github-actions bot added the C# label Oct 13, 2024
@ErhardSteinhauer ErhardSteinhauer mentioned this pull request Oct 14, 2024
2 tasks
@ErhardSteinhauer ErhardSteinhauer mentioned this pull request Oct 14, 2024
2 tasks
@dvir001 dvir001 mentioned this pull request Oct 14, 2024
This was referenced Oct 14, 2024
@github-actions github-actions bot added the Map-POI Map - POI label Oct 14, 2024
This was referenced Oct 15, 2024
@dvir001 dvir001 mentioned this pull request Oct 15, 2024
@dvir001 dvir001 mentioned this pull request Oct 16, 2024
2 tasks
This was referenced Oct 16, 2024
@dvir001 dvir001 mentioned this pull request Oct 16, 2024
This was referenced Oct 16, 2024
Copy link
Contributor

@whatston3 whatston3 left a comment

Choose a reason for hiding this comment

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

Test changes make sense, nothing huge, but useful nonetheless.

@whatston3 whatston3 merged commit 6095d41 into new-frontiers-14:master Oct 16, 2024
13 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants