ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

(361) * Warning 361 at LowParse.Spec.BoundedInt.fsti(232,0-235,62): - Some #push-options have not been popped. Current depth is 1.

(271) * Warning 271 at LowParse.Spec.Base.fsti(544,13-546,17): - Pattern misses at least one bound variable: t

(271) * Warning 271 at LowParse.Spec.Base.fsti(546,14-546,16): - SMT pattern misses at least one bound variable: t

(328) * Warning 328 at LowParse.Spec.Enum.fst(107,8-107,24): - Global binding 'LowParse.Spec.Enum.assoc_flip_intro' is recursive but not used in its body

(361) * Warning 361 at LowParse.BitFields.fst(1276,0-1276,29): - Some #push-options have not been popped. Current depth is 1.

(337) * Warning 337 at LowParse.Low.Base.Spec.fst(487,8-487,18): - This definitions has multiple decreases clauses. - The decreases clause on the declaration is ignored, please remove it.

(328) * Warning 328 at LowParse.Low.Base.Spec.fst(511,8-511,24): - Global binding 'LowParse.Low.Base.Spec.valid_list_equiv' is recursive but not used in its body

(337) * Warning 337 at LowParse.Low.Base.Spec.fst(548,8-548,21): - This definitions has multiple decreases clauses. - The decreases clause on the declaration is ignored, please remove it.

(337) * Warning 337 at LowParse.Low.Base.Spec.fst(612,8-612,41): - This definitions has multiple decreases clauses. - The decreases clause on the declaration is ignored, please remove it.