Correctly validate block tags in rocqchk demarshaller. - #22408

This GitLab pipeline sets the following variables:

• FULL_CI: true

It contains the following stages and jobs:

• build-0
  • bench
  • build:base
  • build:base+32bit
  • build:base+async
  • build:base:dev
  • build:base:dev:dune
  • build:edge+flambda
  • lint
  • pkg:nix
  • pkg:opam:native
  • plugin:plugin-tutorial
• build-1
  • doc:init
  • doc:ml-api:odoc
  • doc:refman
  • doc:refman-pdf
  • library:ci-argosy
  • library:ci-autosubst
  • library:ci-coq_performance_tests
  • library:ci-coq_tools
  • library:ci-coqtail
  • library:ci-coqutil
  • library:ci-engine_bench
  • library:ci-ext_lib
  • library:ci-flocq
  • library:ci-hott
  • library:ci-menhir
  • library:ci-neural_net_interp
  • library:ci-paco
  • library:ci-stdlib
  • library:ci-stdlib+flambda
  • library:ci-unimath
  • plugin:ci-aac_tactics
  • plugin:ci-atbr
  • plugin:ci-autosubst_ocaml
  • plugin:ci-bignums
  • plugin:ci-coinduction
  • plugin:ci-coq_dpdgraph
  • plugin:ci-coqhammer
  • plugin:ci-elpi_hb
  • plugin:ci-equations
  • plugin:ci-fiat_parsers
  • plugin:ci-itauto
  • plugin:ci-lean_importer
  • plugin:ci-ltac2_compiler
  • plugin:ci-micromega
  • plugin:ci-mltac2
  • plugin:ci-mtac2
  • plugin:ci-paramcoq
  • plugin:ci-reduction_effects
  • plugin:ci-rewriter
  • plugin:ci-rocq_lsp
  • plugin:ci-stalmarck
  • plugin:ci-tactician
  • plugin:ci-vsrocq
  • plugin:ci-waterproof
  • test-suite:base
  • test-suite:base+32bit
  • test-suite:base+async
  • test-suite:base:dev
  • test-suite:edge+flambda
• build-2
  • library:ci-category_theory
  • library:ci-color
  • library:ci-compcert
  • library:ci-coqprime
  • library:ci-fcsl_pcm
  • library:ci-iris
  • library:ci-itree
  • library:ci-math_classes
  • library:ci-mathcomp
  • library:ci-mathcomp_word
  • library:ci-simple_io
  • library:ci-stdlib_doc
  • library:ci-stdlib_test
  • library:ci-trakt
  • plugin:ci-elpi_test
  • plugin:ci-equations_test
  • plugin:ci-hb_test
  • plugin:ci-metarocq
  • validate:base
  • validate:base+32bit
  • validate:edge+flambda
• build-3+
  • doc:ci-refman
  • library:ci-analysis
  • library:ci-analysis_stdlib
  • library:ci-bedrock2
  • library:ci-bedrock2_examples
  • library:ci-bigenough
  • library:ci-coquelicot
  • library:ci-corn
  • library:ci-deriving
  • library:ci-fiat_crypto
  • library:ci-fiat_crypto_legacy
  • library:ci-fiat_crypto_ocaml
  • library:ci-finmap
  • library:ci-fourcolor
  • library:ci-jasmin
  • library:ci-mathcomp_test
  • library:ci-mczify
  • library:ci-oddorder
  • library:ci-rupicola
  • library:ci-vst
  • plugin:ci-quickchick
  • plugin:ci-quickchick_test
  • plugin:ci-relation_algebra
  • plugin:ci-smtcoq
• stats
  • pipeline-stats

GitLab Project ID: 4504