Nix CI for bundle rocq-9.3

Workflow runs for Nix CI for bundle rocq-9.3

• Merge pull request #673 from herbelin/coq-master+adapt-coq-pr19404-ge…

  completed successfully:
  Nix CI for bundle rocq-9.3#161:Commit1aafdbfpushedbyppedrot
  master

  Oct 19, 20268m 44s
  More actions for workflow run 161

• Adapt to Coq PR #19404: an algebra of types for the instances of notation variables

  completed successfully:
  Nix CI for bundle rocq-9.3#160:Pull request#673synchronizebyppedrot
  Oct 19, 202640m 56s
  More actions for workflow run 160

• Merge pull request #1120 from ppedrot/dumpglob-faster-cache

  completed successfully:
  Nix CI for bundle rocq-9.3#159:Commitbef8c36pushedbySkySkimmer
  master

  Oct 19, 20269m 26s
  More actions for workflow run 159

• Adapt to rocq-prover/rocq#22600.

  completed successfully:
  Nix CI for bundle rocq-9.3#158:Pull request#1120synchronizebyppedrot
  Oct 18, 202640m 28s
  More actions for workflow run 158

• Adapt to Coq PR #19404: an algebra of types for the instances of notation variables

  completed successfully:
  Nix CI for bundle rocq-9.3#157:Pull request#673synchronizebyppedrot
  Oct 18, 202640m 57s
  More actions for workflow run 157

• Adapt to rocq-prover/rocq#22600.

  completed successfully:
  Nix CI for bundle rocq-9.3#156:Pull request#1120synchronizebyppedrot
  Oct 18, 202641m 15s
  More actions for workflow run 156

• Adapt to rocq-prover/rocq#22600.

  failed:
  Nix CI for bundle rocq-9.3#155:Pull request#1120openedbyppedrot
  Oct 18, 20263m 13s
  More actions for workflow run 155

• Adapt to https://github.com/rocq-prover/stdlib/pull/251

  failed:
  Nix CI for bundle rocq-9.3#154:Pull request#998synchronizebyproux01
  Oct 14, 202641m 43s
  More actions for workflow run 154

• Merge pull request #1115 from proux01/rocq22545

  completed successfully:
  Nix CI for bundle rocq-9.3#153:Commite38b9d5pushedbySkySkimmer
  master

  Oct 13, 202623m 22s
  More actions for workflow run 153

• Adapt to https://github.com/rocq-prover/rocq/pull/22545

  completed successfully:
  Nix CI for bundle rocq-9.3#152:Pull request#1115synchronizebyproux01
  Oct 13, 202635m 5s
  More actions for workflow run 152

• Merge pull request #1119 from kdvkrs/fix-indt-block-knames

  completed successfully:
  Nix CI for bundle rocq-9.3#151:Commitd61575apushedbygares
  master

  Oct 12, 202620m 6s
  More actions for workflow run 151

• Fix constructor references returned by coq.env.indt-block

  completed successfully:
  Nix CI for bundle rocq-9.3#150:Pull request#1119openedbykdvkrs
  Oct 11, 202642m 7s
  More actions for workflow run 150

• Merge pull request #1118 from LPCIC/fix-doc-deploy

  completed successfully:
  Nix CI for bundle rocq-9.3#149:Commit5a92b91pushedbygares
  master

  Oct 9, 202627m 3s
  More actions for workflow run 149

• fix doc ci

  cancelled:
  Nix CI for bundle rocq-9.3#148:Pull request#1118openedbygares
  Oct 9, 202617m 46s
  More actions for workflow run 148

• Merge pull request #1116 from LPCIC/refman

  completed successfully:
  Nix CI for bundle rocq-9.3#147:Commit83fdf44pushedbygares
  master

  Oct 9, 202629m 49s
  More actions for workflow run 147

• Add Sphinx reference manual

  completed successfully:
  Nix CI for bundle rocq-9.3#146:Pull request#1116synchronizebygares
  Oct 5, 202642m 21s
  More actions for workflow run 146

• Adapt to https://github.com/rocq-prover/rocq/pull/22545

  completed successfully:
  Nix CI for bundle rocq-9.3#145:Pull request#1115synchronizebyproux01
  Oct 2, 20261h 1m 17s
  More actions for workflow run 145

• Adapt to https://github.com/rocq-prover/rocq/pull/22545

  cancelled:
  Nix CI for bundle rocq-9.3#144:Pull request#1115synchronizebygares
  Oct 2, 202636m 8s
  More actions for workflow run 144

• Add Sphinx reference manual

  failed:
  Nix CI for bundle rocq-9.3#143:Pull request#1116synchronizebygares
  Oct 2, 202627m 31s
  More actions for workflow run 143

• Add Sphinx reference manual

  cancelled:
  Nix CI for bundle rocq-9.3#142:Pull request#1116synchronizebygares
  Oct 2, 202633m 15s
  More actions for workflow run 142

• Adapt to https://github.com/rocq-prover/rocq/pull/22545

  completed successfully:
  Nix CI for bundle rocq-9.3#141:Pull request#1115synchronizebyproux01
  Oct 2, 202640m 20s
  More actions for workflow run 141

• Add Sphinx reference manual

  cancelled:
  Nix CI for bundle rocq-9.3#140:Pull request#1116synchronizebygares
  Oct 2, 202633m 4s
  More actions for workflow run 140

• Add Sphinx reference manual

  cancelled:
  Nix CI for bundle rocq-9.3#139:Pull request#1116openedbygares
  Oct 2, 20266m 5s
  More actions for workflow run 139

• Adapt to https://github.com/rocq-prover/rocq/pull/22545

  completed successfully:
  Nix CI for bundle rocq-9.3#138:Pull request#1115synchronizebyproux01
  Oct 1, 202640m 2s
  More actions for workflow run 138

• Adapt to https://github.com/rocq-prover/rocq/pull/22545

  failed:
  Nix CI for bundle rocq-9.3#137:Pull request#1115openedbyproux01
  Oct 1, 202644m 15s
  More actions for workflow run 137