Enforce single-commit PR

Workflow runs for Enforce single-commit PR

• fix(fixpoint): matchfix termination check must descend into all call arguments

  completed successfully:
  Enforce single-commit PR#927:Pull request#1144synchronizebynamasikanam
  fix/matchfix-sibling-arg-termination

  Oct 20, 20267s
  More actions for workflow run 927

• fix(doc): sync the Pygments lexer with ecLexer.mll

  requires action with the application:
  Enforce single-commit PR#926:Pull request#1212openedbyathexweb3
  athexweb3:fix/doc-lexer

  Oct 19, 2026Action required
  More actions for workflow run 926

• Fixed compiling errors in Xreal

  completed successfully:
  Enforce single-commit PR#925:Pull request#1211openedbyStefanoGalligani
  StefanoGalligani:expectation-form

  Oct 16, 20266s
  More actions for workflow run 925

• [docker] add new z3 and cvc5 minors

  completed successfully:
  Enforce single-commit PR#924:Pull request#1210synchronizebyfdupress
  docker-update-provers

  Oct 15, 20268s
  More actions for workflow run 924

• [docker] add new z3 and cvc5 minors

  completed successfully:
  Enforce single-commit PR#923:Pull request#1210openedbyfdupress
  docker-update-provers

  Oct 15, 20268s
  More actions for workflow run 923

• feat(compile): memory statistics in -tstats

  completed successfully:
  Enforce single-commit PR#922:Pull request#1209openedbystrub
  feat/tstats-gc

  Oct 14, 20267s
  More actions for workflow run 922

• fix(clone): no quadratic check of proved lemmas in theory overrides

  completed successfully:
  Enforce single-commit PR#921:Pull request#1208openedbystrub
  fix/clone-override-quadratic

  Oct 14, 20266s
  More actions for workflow run 921

• stdlib: basic commutative algebra

  failed:
  Enforce single-commit PR#920:Pull request#602synchronizebystrub
  comm-algebra

  Oct 14, 20268s
  More actions for workflow run 920

• fix(clone): theory overrides of nested or overlapping theories

  completed successfully:
  Enforce single-commit PR#919:Pull request#1207synchronizebystrub
  fix/clone-theory-override

  Oct 14, 20269s
  More actions for workflow run 919

• fix(clone): theory overrides of nested or overlapping theories

  completed successfully:
  Enforce single-commit PR#918:Pull request#1207openedbystrub
  fix/clone-theory-override

  Oct 14, 20267s
  More actions for workflow run 918

• New version of xsum

  completed successfully:
  Enforce single-commit PR#917:Pull request#1206openedbyStefanoGalligani
  StefanoGalligani:expectation-form

  Oct 12, 20268s
  More actions for workflow run 917

• stdlib: basic commutative algebra

  failed:
  Enforce single-commit PR#916:Pull request#602synchronizebystrub
  comm-algebra

  Oct 9, 202618s
  More actions for workflow run 916

• [llm] agent-facing interfaces: interactive REPL and in-binary MCP server

  failed:
  Enforce single-commit PR#915:Pull request#1019synchronizebystrub
  llm-interactive

  Oct 9, 20267s
  More actions for workflow run 915

• refactor(pl): seq as recheckable per-logic rules

  completed successfully:
  Enforce single-commit PR#914:Pull request#1155synchronizebystrub
  pl/seq

  Oct 9, 20266s
  More actions for workflow run 914

• refactor(pl): looptx as program transformations

  completed successfully:
  Enforce single-commit PR#913:Pull request#1184synchronizebystrub
  pl/looptx

  Oct 9, 20268s
  More actions for workflow run 913

• refactor(pl): inline as program transformations

  completed successfully:
  Enforce single-commit PR#912:Pull request#1182synchronizebystrub
  pl/inline

  Oct 9, 20265s
  More actions for workflow run 912

• refactor(pl): fel as a recheckable rule

  completed successfully:
  Enforce single-commit PR#911:Pull request#1194synchronizebystrub
  pl/fel

  Oct 9, 20266s
  More actions for workflow run 911

• refactor(pl): if/match/case on the conditional alone, with pushes

  completed successfully:
  Enforce single-commit PR#910:Pull request#1174synchronizebystrub
  pl/cond

  Oct 9, 20266s
  More actions for workflow run 910

• refactor(pl): true, zero and exfalso as recheckable per-logic rules

  completed successfully:
  Enforce single-commit PR#909:Pull request#1159synchronizebystrub
  pl/true-zero-exfalso

  Oct 9, 20268s
  More actions for workflow run 909

• refactor(pl): prrw as a recheckable rule

  completed successfully:
  Enforce single-commit PR#908:Pull request#1199synchronizebystrub
  pl/prrw

  Oct 9, 20266s
  More actions for workflow run 908

• refactor(pl): rnd and rndsem as recheckable per-logic rules

  completed successfully:
  Enforce single-commit PR#907:Pull request#1164synchronizebystrub
  pl/rnd

  Oct 9, 20265s
  More actions for workflow run 907

• refactor(pl): sp as recheckable per-logic rules

  completed successfully:
  Enforce single-commit PR#906:Pull request#1162synchronizebystrub
  pl/sp

  Oct 9, 20265s
  More actions for workflow run 906

• refactor(pl): proc as recheckable per-logic rules

  completed successfully:
  Enforce single-commit PR#905:Pull request#1192synchronizebystrub
  pl/fun

  Oct 9, 20267s
  More actions for workflow run 905

• refactor(pl): transitivity as recheckable per-logic rules

  completed successfully:
  Enforce single-commit PR#904:Pull request#1161synchronizebystrub
  pl/trans

  Oct 9, 20266s
  More actions for workflow run 904

• refactor(pl): proc rewrite / change as program transformations

  completed successfully:
  Enforce single-commit PR#903:Pull request#1186synchronizebystrub
  pl/rewrite

  Oct 9, 20266s
  More actions for workflow run 903