update to git pronto
Passed
Per 29 mei 2024 gedeeld account, daarvoor marten
created pipeline for commit
87e25252
, finished
For master
latest
branch
1 job
2 minutes 28 seconds, queued for 0 seconds