Patches #59

Merged

mih merged 1 commit from flatentry into main

2025-08-19 08:44:03 +00:00

Author	SHA1	Message	Date
Michael Hanke	a88b9aa431	Define an application-specific prefix for PIDs Some checks failed Codespell / Check for spelling errors (pull_request) Successful in 21s Details Model checks / lint (pull_request) Successful in 1m25s Details Validate examples and verify unmodified conversion / lint (pull_request) Successful in 2m27s Details Validate examples and verify unmodified conversion / lint (push) Failing after 11m17s Details Model checks / lint (push) Failing after 11m19s Details Codespell / Check for spelling errors (push) Failing after 11m21s Details We will need to maintain application-specific PIDs, and it should help being about to spot them easily.	2025-05-10 08:58:42 +02:00