3 Commits

Author	SHA1	Message	Date
Alexander Brandes	e6db8e2750	Perform code formatting according to editorconfig (#3981) ... * Perform code reformatting * Fix javadoc errors	2023-03-06 11:38:30 +01:00
Alexander Brandes	e98f628d34	Pin GH actions to SHA to avoid mutable refs (#3973)	2023-03-02 12:30:14 +01:00
Alexander Brandes	c978322036	Separate workflows between PRs and pushes (#3928) ... * Separate workflows between PRs and pushes * Fixup	2023-01-15 14:10:41 +01:00