build: delete pr images on pull close
enhancementbuild
# build: delete pr images on pull close
Allow badges to include more than just push events
serverenhancement
Document workflow options
documentationbackend/docker
Only run docs workflow for docs-only changes
enhancementbuild