Skip to content

add more projects to collections#1054

Merged
ccerv1 merged 1 commit intomainfrom
fil-collections-2
Apr 15, 2026
Merged

add more projects to collections#1054
ccerv1 merged 1 commit intomainfrom
fil-collections-2

Conversation

@ccerv1
Copy link
Copy Markdown
Member

@ccerv1 ccerv1 commented Apr 15, 2026

No description provided.

@oso-prs
Copy link
Copy Markdown

oso-prs Bot commented Apr 15, 2026

Validation Results

✅ Good to go as long as status checks pass

commit 26bffde83d2cb5e09718c24ed66973673fe6284f


Overview

@ccerv1 ccerv1 added this pull request to the merge queue Apr 15, 2026
Merged via the queue into main with commit 1388adc Apr 15, 2026
4 checks passed
@ccerv1 ccerv1 deleted the fil-collections-2 branch April 15, 2026 02:27
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