Files
docker-docs/.github/workflows
Arthur dda69e41d0 ci: deploy from main (#23084)
PR that changes the deploy workflow of the docs. 

## What has changed?

This PR simplifies the deployment flow by deleting our staging build. We
publish what is on the main branch instead of relying on the `publish`
and `publish-update` branches.
2025-07-17 09:04:23 +02:00
..
2025-06-12 11:32:59 +02:00
2025-07-17 09:04:23 +02:00
2024-07-03 11:07:07 +02:00