Skip to content

Refresh Sampler pipeline - #40

Merged
gaelcolas merged 4 commits into
mainfrom
fix/createPR
Oct 8, 2026
Merged

gaelcolas merged 4 commits into
mainfrom
fix/createPR

Conversation

@gaelcolas

Copy link
Copy Markdown
Member

Add comprehensive Copilot instructions, setup workflow, and validation guidance
Moved to GitHub CI pipelines

@gaelcolas
gaelcolas merged commit a9e4783 into main Oct 8, 2026
8 checks passed
@gaelcolas
gaelcolas deleted the fix/createPR branch October 8, 2026 14:03
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