All workflows

Workflow runs

• specify allocations for which hm places guard pages more precisely

  failed:
  Build and run everything#1136:Commitc9ab9b2pushedbyjvoisin
  master

  Nov 10, 202640m 0s
  More actions for workflow run 1136

• replace build_bench_env.sh with a Makefile

  failed:
  Build and run everything#1135:Pull request#243synchronizebyderSteFfi
  derSteFfi:build_with_makefile

  Nov 10, 202645m 47s
  More actions for workflow run 1135

• more Ci fixes

  failed:
  Build and run everything#1134:Pull request#286synchronizebyderSteFfi
  derSteFfi:ci_failure_fixes

  Nov 9, 202617m 59s
  More actions for workflow run 1134

• more Ci fixes

  failed:
  Build and run everything#1133:Pull request#286openedbyderSteFfi
  derSteFfi:ci_failure_fixes

  Nov 9, 202636m 59s
  More actions for workflow run 1133

• Build and run everything

  failed:
  Build and run everything#1132:Scheduled
  master

  Nov 9, 202644m 2s
  More actions for workflow run 1132

• Bump linux to 6.6.105

  failed:
  Build and run everything#1131:Commit37e0c53pushedbyjvoisin
  master

  Nov 6, 202646m 56s
  More actions for workflow run 1131

• Alpine fixes

  failed:
  Build and run everything#1130:Pull request#285openedbyderSteFfi
  derSteFfi:alpine_fixes

  Nov 5, 20264h 5m 29s
  More actions for workflow run 1130

• replace build_bench_env.sh with a Makefile

  failed:
  Build and run everything#1129:Pull request#243synchronizebyderSteFfi
  derSteFfi:build_with_makefile

  Nov 5, 20268h 16m 16s
  More actions for workflow run 1129

• bench.sh: run lean-mathlib only when named explicitly

  failed:
  Build and run everything#1128:Commit198cec2pushedbyjvoisin
  master

  Nov 5, 20268h 33m 14s
  More actions for workflow run 1128

• build-bench-env.sh: add flex, bison and libelf for the linux test

  cancelled:
  Build and run everything#1127:Commit4ffeeaepushedbyjvoisin
  master

  Nov 5, 20261m 25s
  More actions for workflow run 1127

• rocksdb: use posix_memalign for cache shards on musl

  cancelled:
  Build and run everything#1126:Commit1ff821bpushedbyjvoisin
  master

  Nov 5, 20261m 19s
  More actions for workflow run 1126

• replace build_bench_env.sh with a Makefile

  cancelled:
  Build and run everything#1125:Pull request#243synchronizebyderSteFfi
  derSteFfi:build_with_makefile

  Nov 5, 202638m 17s
  More actions for workflow run 1125

• rocksdb: use posix_memalign for cache shards on musl

  failed:
  Build and run everything#1124:Pull request#284openedbyderSteFfi
  derSteFfi:fix_rocksdb_musl

  Nov 5, 202612h 48m 34s
  More actions for workflow run 1124

• bench.sh: run lean-mathlib only when named explicitly

  failed:
  Build and run everything#1123:Pull request#283openedbyderSteFfi
  derSteFfi:disable_mathlib

  Nov 5, 20267h 27m 9s
  More actions for workflow run 1123

• Fix linux test

  failed:
  Build and run everything#1122:Pull request#282openedbyderSteFfi
  derSteFfi:fix_linux_test

  Nov 5, 20267h 47m 2s
  More actions for workflow run 1122

• replace build_bench_env.sh with a Makefile

  failed:
  Build and run everything#1121:Pull request#243synchronizebyderSteFfi
  derSteFfi:build_with_makefile

  Nov 5, 202640m 34s
  More actions for workflow run 1121

• Detect allocators present and functional

  failed:
  Build and run everything#1120:Commit36505e0pushedbyjvoisin
  master

  Nov 4, 20267h 59m 20s
  More actions for workflow run 1120

• README: note that AppArmor confines gs on Ubuntu 26.04

  cancelled:
  Build and run everything#1119:Commit6616c1fpushedbyjvoisin
  master

  Nov 4, 20266m 33s
  More actions for workflow run 1119

• bench.sh: fix location of rpmalloc library

  cancelled:
  Build and run everything#1118:Commit4294c64pushedbyjvoisin
  master

  Nov 4, 20262m 53s
  More actions for workflow run 1118

• bench.sh: use %e (seconds) instead of %E (hh:mm:ss) for elapsed time

  failed:
  Build and run everything#1117:Commite7b6339pushedbyjvoisin
  master

  Nov 2, 202614h 54m 1s
  More actions for workflow run 1117

• bench.sh: use %e (seconds) instead of %E (hh:mm:ss) for elapsed time

  failed:
  Build and run everything#1116:Pull request#281openedbyderSteFfi
  derSteFfi:fix_time_format

  Nov 2, 202615h 27m 24s
  More actions for workflow run 1116

• bench.sh: detect failed runs and fail accordingly

  cancelled:
  Build and run everything#1115:Commitc65a688pushedbyjvoisin
  master

  Nov 2, 20267h 46m 44s
  More actions for workflow run 1115

• bench.sh: detect failed runs and fail accordingly

  failed:
  Build and run everything#1114:Pull request#246synchronizebyderSteFfi
  derSteFfi:detect_errors_in_runs

  Nov 2, 202615h 58m 29s
  More actions for workflow run 1114

• add result parsing script

  cancelled:
  Build and run everything#1113:Commitb7fd199pushedbyjvoisin
  master

  Nov 2, 20262h 16m 7s
  More actions for workflow run 1113

• add result parsing script

  failed:
  Build and run everything#1112:Pull request#273synchronizebyderSteFfi
  derSteFfi:runtime_in_seconds

  Nov 2, 202611h 59m 49s
  More actions for workflow run 1112