Skip to content
Snippets Groups Projects
Select Git revision
  • dff0775a94e3440f5c983baebd2430582124c12a
  • main default protected
  • idacs_experiments
  • postgres_idacs
  • memgraph_fabian
  • postgres_julian
  • dev_ma
  • test_results
  • FZ_changed_code
  • FZ_Memgraph
10 results

spielwiese.ipynb

Blame
  • build.sh 321 B
    REGISTRY=$1
    grep -v '^#' versions | \
    while read -r line; do
    	maxima_version="$(echo "$line" | cut -f1)"
    	sbcl_version="$(echo "$line" | cut -f2)"
    	stack_version="$(echo "$line" | cut -f3)"
    	./buildimage.sh "${sbcl_version}" "${maxima_version}" "$stack_version" "stack/$stack_version/maxima" "${REGISTRY}" || exit 1
    done