search

GumTreeDiff / gumtree

An awesome code differencing tool
https://github.com/GumTreeDiff/gumtree/wiki
GNU Lesser General Public License v3.0
893 stars 170 forks source link

Splits docker build workflow #332

Closed koppor closed 5 months ago

koppor commented 5 months ago

Follow-up to https://github.com/GumTreeDiff/gumtree/pull/324

This fixes the docker build.

Also changes the syntax of ifs to keep VS Code happy. Before:

image

koppor commented 5 months ago

Wait :) I should have marked this as draft ^^