misc: add pid to cron logs (#84919) #949

Merged
fpeters merged 1 commits from wip/84919-cron-log-pid into main 2023-12-22 10:06:27 +01:00
Owner
No description provided.
fpeters added 1 commit 2023-12-19 14:05:57 +01:00
gitea/wcs/pipeline/head This commit looks good Details
986bca7acd
misc: add pid to cron logs (#84919)
fpeters changed title from WIP: misc: add pid to cron logs (#84919) to misc: add pid to cron logs (#84919) 2023-12-19 15:19:14 +01:00
csechet approved these changes 2023-12-22 09:43:25 +01:00
fpeters merged commit e48bfdddc3 into main 2023-12-22 10:06:27 +01:00
fpeters deleted branch wip/84919-cron-log-pid 2023-12-22 10:06:27 +01:00
Sign in to join this conversation.
No reviewers
No Label
No Milestone
No Assignees
2 Participants
Notifications
Due Date
The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Dependencies

No dependencies set.

Reference: entrouvert/wcs#949
No description provided.