Convert CircleCI config to Github Actions

webknossos-datastore/Dockerfile → .github/Dockerfile.datastore

@@ -15,7 +15,7 @@ VOLUME /webknossos-datastore/binaryData /tmp
 COPY target/universal/stage .
 
 RUN chown -R webknossos . \
-  && chmod go+x bin/webknossos-datastore \
+  && chmod +x bin/webknossos-datastore \
   && chmod go+w .
 
 RUN echo '#!/bin/bash\numask 002\nbin/webknossos-datastore "$@"\n' > /docker-entrypoint.sh \

webknossos-tracingstore/Dockerfile → .github/Dockerfile.tracingstore

@@ -16,7 +16,7 @@ VOLUME /webknossos-tracingstore/tracingData /tmp
 COPY target/universal/stage .
 
 RUN chown -R webknossos . \
-  && chmod go+x bin/webknossos-tracingstore \
+  && chmod +x bin/webknossos-tracingstore \
   && chmod go+w .
 
 RUN echo '#!/bin/bash\numask 002\nbin/webknossos-tracingstore "$@"\n' > /docker-entrypoint.sh \
@@ -31,4 +31,4 @@ HEALTHCHECK \
 EXPOSE 9050
 
 ENTRYPOINT ["/docker-entrypoint.sh"]
-CMD ["-J-Xmx20G", "-J-Xms1G", "-Dconfig.file=conf/standalone-tracingstore.conf", "-Dlogger.file=conf/logback-docker.xml", "-Dlogback.configurationFile=conf/logback-docker.xml", "-Dhttp.port=9090", "-Dhttp.address=0.0.0.0"]
+CMD ["-J-Xmx20G", "-J-Xms1G", "-Dconfig.file=conf/standalone-tracingstore.conf", "-Dlogger.file=conf/logback-docker.xml", "-Dlogback.configurationFile=conf/logback-docker.xml", "-Dhttp.port=9050", "-Dhttp.address=0.0.0.0"]

Dockerfile → .github/Dockerfile.webknossos

@@ -8,13 +8,15 @@ RUN curl -sL "https://deb.nodesource.com/setup_${VERSION_NODE}" | bash - \
 RUN mkdir -p /webknossos
 WORKDIR /webknossos
 
+# Copy compiled Scala output from a previous build step, e.g. output of the Docker-dev image
 COPY target/universal/stage .
 
 RUN addgroup --system --gid 999 webknossos \
   && adduser --system --uid 999 --ingroup webknossos webknossos \
   && mkdir disk \
   && chown -R webknossos . \
-  && chmod go+x bin/webknossos \
+  && chmod +x bin/webknossos \
+  && chmod +x tools/postgres/dbtool.js \
   && chmod go+w .
 
 RUN echo '#!/bin/bash\numask 002\nbin/webknossos "$@"\n' > /docker-entrypoint.sh \

.github/actions/retry/action.yml

@@ -0,0 +1,24 @@
+name: "Shell Retry"
+description: "Runs a small shell script with retries"
+inputs:
+  run:
+    description: "Command to execute."
+    required: true
+  retries:
+    description: "Maximum number of retries until failed"
+    required: true
+  retry_delay_seconds:
+    description: "Amount of time to sleep between each retry"
+    default: 0
+runs:
+  using: 'composite'
+  steps:
+    - shell: bash
+      run: |
+        for i in {1..${{ inputs.retries }}}; do
+          bash -c "$INPUT_COMMAND" && exit 0
+          sleep "${{ inputs.retry_delay_seconds }}"
+        done
+        exit 1
+      env:
+        INPUT_COMMAND: ${{ inputs.run }}