Skip to content

ci: Fix proofs team CI notification group name#12362

Merged
tynes merged 1 commit intodevelopfrom pauldowman/rename-proofs-notify-groupOct 7, 2024

Commits

Commits on Oct 7, 2024