Skip to content

updates to CI jobs#711

Merged
dkazanc merged 2 commits intomainfrom
update_ci
Apr 14, 2026
Merged

updates to CI jobs#711
dkazanc merged 2 commits intomainfrom
update_ci

Conversation

@dkazanc
Copy link
Copy Markdown
Collaborator

@dkazanc dkazanc commented Apr 14, 2026

Fixes #ISSUE

Checklist

  • I have added tests that prove my fix is effective or that my feature works
  • New and existing unit tests pass locally with my changes
  • I have made corresponding changes to the documentation
  • I have added the user-release-note label in order to include this PR in the "Notable
    Changes for Users" section in release notes

@dkazanc dkazanc merged commit e88dbd1 into main Apr 14, 2026
4 of 5 checks passed
@dkazanc dkazanc deleted the update_ci branch April 14, 2026 14:32
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.

1 participant