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.

Sign up for GitHub

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

Jump to bottom

Remove duplicate sep #349

Closed
wants to merge 1 commit into from
Closed

Remove duplicate sep #349

wants to merge 1 commit into from

Conversation

Timmmm
Copy link
Collaborator

@Timmmm Timmmm commented Nov 17, 2023

This is defined already by Sail now.

@Timmmm
Remove duplicate sep
dec1c06 
This is defined already by Sail now.
@github-actions GitHub Actions
Copy link

Unit Test Results

712 tests  ±0       0 ✔️  - 712   0s ⏱️ ±0s
    6 suites ±0       0 💤 ±    0 
    1 files   ±0   712 ❌ +712 

For more details on these failures, see this check.

Results for commit dec1c06. ± Comparison against base commit 9f4cad6.

@Timmmm
Copy link
Collaborator Author

Timmmm commented Nov 17, 2023

... maybe not by the Sail version used in CI I guess!

@nwf-msr nwf-msr mentioned this pull request Dec 11, 2023
Closed
@Timmmm
Copy link
Collaborator Author

Timmmm commented Dec 16, 2024

This was done as part of another PR.

@Timmmm Timmmm closed this Dec 16, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@Timmmm