Skip to content

Remove unnecessary files from Docker images #4756

Remove unnecessary files from Docker images

Remove unnecessary files from Docker images #4756

Triggered via pull request February 19, 2025 14:26
Status Success
Total duration 6m 12s
Artifacts

docs.yml

on: pull_request
generate_github_pages
5m 41s
generate_github_pages
Fit to window
Zoom out
Zoom in