Skip to content

[#146]: Reduce docker image size#147

Merged
JacobDomagala merged 9 commits into
masterfrom
146-reduce-docker-image-size
Apr 22, 2026
Merged

[#146]: Reduce docker image size#147
JacobDomagala merged 9 commits into
masterfrom
146-reduce-docker-image-size

Conversation

@JacobDomagala

Copy link
Copy Markdown
Owner

Fixes #146

@JacobDomagala JacobDomagala self-assigned this Apr 20, 2026
@JacobDomagala JacobDomagala linked an issue Apr 20, 2026 that may be closed by this pull request
@github-actions

Copy link
Copy Markdown

✅Static analysis result - no issues found! ✅

@github-actions

github-actions Bot commented Apr 20, 2026

Copy link
Copy Markdown

TestRepo Integration Status

Summary Value
Overall status Completed, findings were reported as expected
Source workflow Test Action #375
Last updated 2026-04-22 10:44:56 UTC

Scenarios

Scenario Status Workflow PR Result comments
Push (C++) Completed with findings Workflow run n/a n/a
Pull Request (C++) Comments captured Workflow run PR SA CMake output
SA non-CMake output
Fork Pull Request (C++) Comments captured Workflow run PR SA CMake output
SA non-CMake output
Push (Python) Completed with findings Workflow run n/a n/a
Pull Request (Python) Comments captured Workflow run PR Python
Fork Pull Request (Python) Comments captured Workflow run PR Python

@JacobDomagala JacobDomagala marked this pull request as ready for review April 21, 2026 14:28
@JacobDomagala JacobDomagala force-pushed the 146-reduce-docker-image-size branch from a354d9c to 2d77346 Compare April 21, 2026 15:18
@JacobDomagala JacobDomagala merged commit b83fd49 into master Apr 22, 2026
5 checks passed
@JacobDomagala JacobDomagala deleted the 146-reduce-docker-image-size branch April 22, 2026 10:45
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Reduce docker image size

1 participant