Skip to content

Updated labeler GitHub action configuration to v5 format#2922

Closed
tautschnig wants to merge 1 commit intomodel-checking:mainfrom tautschnig:labeler-v5-config
+5-8

Commits

Commits on Dec 7, 2023