New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

make '/usr/bin/env' available in docker container #784

Merged

fmeum merged 1 commit into CodeIntelligenceTesting:main from svenkeidel:issue773

Jul 5, 2023

Contributor

svenkeidel commented Jun 26, 2023

closes #773.


          make '/usr/bin/env' available in docker container

1f3cdc4

closes CodeIntelligenceTesting#773

fmeum force-pushed the issue773 branch from 5a7beea to 1f3cdc4 Compare

July 5, 2023 12:33

fmeum approved these changes

View reviewed changes

Contributor

fmeum left a comment

Thanks for sending the fix right with the issue! :-)

fmeum enabled auto-merge (rebase)

July 5, 2023 12:33

fmeum merged commit df88ff9 into CodeIntelligenceTesting:main

9 checks passed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment