Skip to content

Extend permissions to make update-pr work#169

Merged
tautschnig merged 1 commit intomodel-checking:masterfrom tautschnig:make-update-pr-workJul 19, 2024

Commits

Commits on Jul 19, 2024