New issue

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

#

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

Already on GitHub? # to your account

Jump to bottom

Add docker image build #497

Open

gschueler wants to merge 3 commits into main from enh/docker-image

Member

gschueler commented Feb 23, 2023

ref #266

gschueler added 2 commits

March 3, 2023 10:02


          Add docker image build

4459a71


          Update dependency verification

40eedb8

gschueler force-pushed the enh/docker-image branch from f4d2e31 to 40eedb8 Compare

March 3, 2023 18:02


          Downgrade grgit to 4.1.1 for java 8 compatibility

7020fe0

gschueler marked this pull request as ready for review

March 3, 2023 23:53

gschueler changed the title ~~WIP: Add docker image build~~ Add docker image build

# for free to join this conversation on GitHub. Already have an account? # to comment

Labels

None yet