Nix cache

Workflow runs for Nix cache

• reduce.h: Remove unused MLD_MONT

  completed successfully:
  Nix cache#94:Commitfb9a310pushedbygithub-merge-queue[bot]Bot
  main

  Oct 20, 20269s
  More actions for workflow run 94

• ACVP: Fail if supported modes cannot be detected

  completed successfully:
  Nix cache#93:Commitc6ff582pushedbygithub-merge-queue[bot]Bot
  main

  Oct 20, 202610s
  More actions for workflow run 93

• Config: Promote MLD_CONFIG_CUSTOM_ALLOC_FREE to stable

  completed successfully:
  Nix cache#92:Commite170ef8pushedbygithub-merge-queue[bot]Bot
  main

  Oct 19, 202610s
  More actions for workflow run 92

• Add issue templates

  completed successfully:
  Nix cache#91:Commit6daba60pushedbygithub-merge-queue[bot]Bot
  main

  Oct 15, 20269s
  More actions for workflow run 91

• Doc improvements

  completed successfully:
  Nix cache#90:Commit1f8ff64pushedbygithub-merge-queue[bot]Bot
  main

  Oct 14, 202610s
  More actions for workflow run 90

• Wycheproof: Bump pinned test vectors to latest main

  completed successfully:
  Nix cache#89:Commit3031137pushedbygithub-merge-queue[bot]Bot
  main

  Oct 14, 20268s
  More actions for workflow run 89

• CI: Add zig 0.17 compiler tests

  completed successfully:
  Nix cache#88:Commita14b01apushedbygithub-merge-queue[bot]Bot
  main

  Oct 13, 202626m 29s
  More actions for workflow run 88

• keygen: Stream s2 to reduce memory footprint

  completed successfully:
  Nix cache#87:Commit7625016pushedbygithub-merge-queue[bot]Bot
  main

  Oct 8, 202613s
  More actions for workflow run 87

• HOL-Light: Take chknorm bound as int64 in specs

  completed successfully:
  Nix cache#86:Commit48c075apushedbygithub-merge-queue[bot]Bot
  main

  Oct 6, 20269s
  More actions for workflow run 86

• nix: Take HOL Light from nixpkgs-unstable instead of pinning it

  completed successfully:
  Nix cache#85:Commitd086e67pushedbygithub-merge-queue[bot]Bot
  main

  Oct 6, 202620m 28s
  More actions for workflow run 85

• x86_64: Clear upper YMM state before returning from AVX2 assembly

  completed successfully:
  Nix cache#84:Commit3641cd7pushedbygithub-merge-queue[bot]Bot
  main

  Oct 6, 20269s
  More actions for workflow run 84

• Config: Make the config file flat

  completed successfully:
  Nix cache#83:Commit39d55c7pushedbygithub-merge-queue[bot]Bot
  main

  Oct 6, 202611s
  More actions for workflow run 83

• CI: Add clang23 tests and constant-time tests

  completed successfully:
  Nix cache#82:Commita796102pushedbygithub-merge-queue[bot]Bot
  main

  Oct 5, 20261h 37m 20s
  More actions for workflow run 82

• Bump aws-actions/configure-aws-credentials from 6.2.3 to 6.3.0

  completed successfully:
  Nix cache#81:Commit179e530pushedbygithub-merge-queue[bot]Bot
  main

  Oct 5, 202611s
  More actions for workflow run 81

• Examples: Enable native backends in monolithic_build_native

  completed successfully:
  Nix cache#80:Commitf566f6fpushedbygithub-merge-queue[bot]Bot
  main

  Oct 5, 202614s
  More actions for workflow run 80

• native: Pass buflen to rej_uniform assembly as uint64_t

  completed successfully:
  Nix cache#79:Commit159509dpushedbygithub-merge-queue[bot]Bot
  main

  Oct 1, 202612s
  More actions for workflow run 79

• CBMC: Use only array_unchanged in native fallback postconditions

  completed successfully:
  Nix cache#78:Commit6fb2015pushedbygithub-merge-queue[bot]Bot
  main

  Oct 1, 202612s
  More actions for workflow run 78

• mldsa_native.c: Undefine sys.h macros after the native backends

  completed successfully:
  Nix cache#77:Commit3541a9bpushedbygithub-merge-queue[bot]Bot
  main

  Oct 1, 202627m 9s
  More actions for workflow run 77

• RV32IM: Keep emitted code and selection within proof scope

  completed successfully:
  Nix cache#76:Commit14d195apushedbygithub-merge-queue[bot]Bot
  main

  Sep 23, 202626m 44s
  More actions for workflow run 76

• Pavona: Enable the RV32-IM backend in the integration build

  completed successfully:
  Nix cache#75:Commit05470e2pushedbygithub-merge-queue[bot]Bot
  main

  Sep 22, 20269s
  More actions for workflow run 75

• RV32IM: Document how to select the backend

  completed successfully:
  Nix cache#74:Commit929b149pushedbygithub-merge-queue[bot]Bot
  main

  Sep 21, 202627m 4s
  More actions for workflow run 74

• CI: Run zizmor Github action audit in our lint script

  completed successfully:
  Nix cache#73:Commita64659epushedbygithub-merge-queue[bot]Bot
  main

  Sep 20, 202626m 50s
  More actions for workflow run 73

• CI: Add xcode-27 runner image

  completed successfully:
  Nix cache#72:Commit83ee8ecpushedbygithub-merge-queue[bot]Bot
  main

  Sep 20, 20267s
  More actions for workflow run 72

• CI: Allow requesting SLOTHY with the slothy-tests label

  completed successfully:
  Nix cache#71:Commit2bd516fpushedbygithub-merge-queue[bot]Bot
  main

  Sep 20, 202611s
  More actions for workflow run 71

• CBMC: Report inconclusive SMT results

  completed successfully:
  Nix cache#70:Commitd2149e6pushedbygithub-merge-queue[bot]Bot
  main

  Sep 9, 202626m 33s
  More actions for workflow run 70