Make PR pipelines public #224

Merged
lucas merged 1 commit from feature/ci into master 2025-04-21 17:36:23 +02:00

1 commit

Author SHA1 Message Date
e6744404a9
Make PR pipelines public 2025-04-21 17:35:58 +02:00