Skip to content

Remove unnecessary files from Docker images #5437

Remove unnecessary files from Docker images

Remove unnecessary files from Docker images #5437

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

regallint.yml

on: pull_request
Fit to window
Zoom out
Zoom in