Skip to content

Conversation

seunghun1ee
Copy link
Member

Instead of 'Ubuntu Jammy', 'Debian' was used when defining this repository.
Changing the short_name to ceph_reef_debian for consistency and the jobs relying on names.

@jackhodgkiss jackhodgkiss merged commit 5e53efc into main Oct 28, 2024
4 checks passed
@jackhodgkiss jackhodgkiss deleted the fix-ceph-reef-debian branch October 28, 2024 14:45
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.

3 participants