Skip to content

Update workflows #189

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
Merged
merged 4 commits into from
Jun 26, 2025
Merged

Update workflows #189

merged 4 commits into from
Jun 26, 2025

Conversation

@fsoubelet
Copy link
Member

@fsoubelet fsoubelet commented Jun 25, 2025

No description provided.

@fsoubelet fsoubelet requested a review from JoschD June 25, 2025 15:07
@fsoubelet fsoubelet self-assigned this Jun 25, 2025
@fsoubelet fsoubelet added Type: CI/CD Improvements, updates and fixes to the continuous integration. Priority: Low Work on this if you have some spare time. Type: Maintenance Improvements in the code, that are not necessarily visible in functionality. Status: Review Needed Work currently stopped, untils someone else reviews it. labels Jun 25, 2025
@fsoubelet fsoubelet merged commit 39ab290 into user_guide_updates Jun 26, 2025
2 checks passed
@fsoubelet fsoubelet deleted the update_workflows branch June 26, 2025 12:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@JoschD JoschD JoschD approved these changes

Assignees

@fsoubelet fsoubelet

Labels

Priority: Low Work on this if you have some spare time. Status: Review Needed Work currently stopped, untils someone else reviews it. Type: CI/CD Improvements, updates and fixes to the continuous integration. Type: Maintenance Improvements in the code, that are not necessarily visible in functionality.

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

3 participants

@fsoubelet @JoschD