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

new github workflow file #2995

Merged
merged 83 commits into from
Aug 10, 2023
Merged

new github workflow file #2995

merged 83 commits into from
Aug 10, 2023

Conversation

NPadrutt
Copy link
Contributor

@NPadrutt NPadrutt commented Jul 28, 2023

Issue: #

PR Type

What kind of change does this PR introduce?

  • Build or CI related changes

@NPadrutt NPadrutt closed this Aug 3, 2023
@NPadrutt NPadrutt reopened this Aug 3, 2023
@NPadrutt NPadrutt added this pull request to the merge queue Aug 10, 2023
Merged via the queue into master with commit 0bc4e17 Aug 10, 2023
6 checks passed
@NPadrutt NPadrutt deleted the github-build-workflow branch August 11, 2023 07:57
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.

None yet

1 participant