Revert "Bump actions/labeler from 4 to 5 (#2917)"#2923

Merged

tautschnig merged 1 commit intomodel-checking:mainfrom tautschnig:revert-labeler

Dec 7, 2023

+1-1

Commits on Dec 7, 2023

Revert "Bump actions/labeler from 4 to 5 (model-checking#2917 )"
tautschnig
committed