delete gh-pages once PR is merged

eu-cdse / documentation

Technical documentation for Copernicus Data Space Ecosystem

17 stars 10 forks source link

delete gh-pages once PR is merged #535

Open Pratichhya opened 2 months ago

Pratichhya commented 2 months ago

There are quarto preview built for each PR. An action can be setup to delete these once the PR is merged since it can consume time to execute the files.