Skip to content

Reduce ci jobs#222

Merged
filipeom merged 1 commit intomainfrom
reduce-ci-jobs
Oct 3, 2024
Merged

Reduce ci jobs#222
filipeom merged 1 commit intomainfrom
reduce-ci-jobs

Conversation

@filipeom
Copy link
Member

@filipeom filipeom commented Oct 3, 2024

No description provided.

@filipeom filipeom enabled auto-merge (rebase) October 3, 2024 11:22
@filipeom filipeom merged commit 85ff530 into main Oct 3, 2024
@filipeom filipeom deleted the reduce-ci-jobs branch October 3, 2024 11:51
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant