DBG: Failures

Author: punchagan

.github/workflows/main.yml

@@ -35,51 +35,6 @@ jobs:
       - run: opam install . --deps-only --with-test
 
       # Runs a set of commands using the runners shell
-      - name: 5.1.0+stable
-        run: |
-          # TODO: Add gnuplot-x11 when irmin benchmarks are enabled
-          sudo apt-get update && sudo apt-get -y install wget pkg-config libgmp-dev m4 libdw-dev jq python3-pip autoconf jo gnuplot-x11 libgmp-dev
-          pip3 install intervaltree
-          eval $(opam env)
-          export ITER=1
-          export OPAM_DISABLE_SANDBOXING=true
-          TAG='"run_in_ci"' make run_config_filtered.json
-          sed -i 's/--cpu-list 5/--cpu-list 1/g' run_config_filtered.json
-          OPT_WAIT=0 USE_SYS_DUNE_HACK=1 RUN_CONFIG_JSON=run_config_filtered.json make ocaml-versions/5.1.0+stable.bench
-          ls _results
-          cat _results/*
-          make json
-
-      - name: 5.1.0+stable+parallel
-        run: |
-          sudo apt-get update && sudo apt-get -y install wget pkg-config libgmp-dev m4 libdw-dev jq python3-pip autoconf jo libgmp-dev
-          pip3 install intervaltree
-          eval $(opam env)
-          export ITER=1
-          export OPAM_DISABLE_SANDBOXING=true
-          TAG='"run_in_ci"' make multicore_parallel_run_config_filtered.json
-          sed -i 's/--cpu-list 5/--cpu-list 1/g' multicore_parallel_run_config_filtered.json
-          TAG='"macro_bench"' make multicore_parallel_run_config_filtered_filtered.json
-          make multicore_parallel_run_config_filtered_filtered_2domains.json
-          OPT_WAIT=0 USE_SYS_DUNE_HACK=1 BUILD_BENCH_TARGET=multibench_parallel RUN_CONFIG_JSON=multicore_parallel_run_config_filtered_filtered_2domains.json make ocaml-versions/5.1.0+stable.bench
-          ls _results
-          cat _results/*
-          make json
-
-      - name: 5.1.0+trunk+serial
-        run: |
-          sudo apt-get update && sudo apt-get -y install wget pkg-config libgmp-dev m4 libdw-dev jq python3-pip autoconf jo libgmp-dev
-          pip3 install intervaltree
-          eval $(opam env)
-          export ITER=1
-          export OPAM_DISABLE_SANDBOXING=true
-          TAG='"run_in_ci"' make run_config_filtered.json
-          sed -i 's/--cpu-list 5/--cpu-list 1/g' run_config_filtered.json
-          OPT_WAIT=0 USE_SYS_DUNE_HACK=1 RUN_CONFIG_JSON=run_config_filtered.json make ocaml-versions/5.1.0+trunk.bench
-          ls _results
-          cat _results/*
-          make json
-
       - name: 5.1.0+trunk+parallel
         run: |
           sudo apt-get update && sudo apt-get -y install wget pkg-config libgmp-dev m4 libdw-dev jq python3-pip autoconf jo libgmp-dev

Makefile

@@ -244,7 +244,7 @@ ocaml-versions/%.bench: depend check-parallel/% filter/% override_packages/% log
 	     echo "(context (opam (switch $(CONFIG_SWITCH_NAME)) (name $(CONFIG_SWITCH_NAME)_$$i)))"; \
 	   done } > ocaml-versions/.workspace.$(CONFIG_SWITCH_NAME)
 	opam exec --switch $(CONFIG_SWITCH_NAME) -- rungen _build/$(CONFIG_SWITCH_NAME)_1 $(RUN_CONFIG_JSON) > runs_dune.inc
-	opam exec --switch $(CONFIG_SWITCH_NAME) -- dune build --profile=release --workspace=ocaml-versions/.workspace.$(CONFIG_SWITCH_NAME) @$(BUILD_BENCH_TARGET);
+	opam exec --switch $(CONFIG_SWITCH_NAME) -- dune build --verbose --profile=release --workspace=ocaml-versions/.workspace.$(CONFIG_SWITCH_NAME) @$(BUILD_BENCH_TARGET);
 	@{ if [ "$(BUILD_ONLY)" -eq 0 ]; then												\
 		echo "Executing benchmarks with:";											\
 		echo "  RUN_CONFIG_JSON=${RUN_CONFIG_JSON}";										\