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

override docker gem #171

Closed

Intelligent2013 wants to merge 6 commits into main from fix_tmp_docker

Contributor

Intelligent2013 commented Aug 28, 2024

Metanorma PR checklist

Breaking changes (list related PRs)
Documentation update required (create task for this)
External dependency introduced (documentation update need)
Gem with native library introduced

Intelligent2013 added 6 commits

August 28, 2024 16:04


          override docker gem

3dac8fb


          Gemfile updated

67372f5


          Gemfile updated

37af05e


          Gemfile updated

84698ae


          Gemfile updated

812399c


          docker.yml restored

f002e48

Intelligent2013 closed this

Intelligent2013 deleted the fix_tmp_docker branch

August 28, 2024 16:01

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

Labels

None yet