Check world (test F* + all subprojects) #69
Annotations
11 warnings
|
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
Build:
dummy#L1
(361) * Warning 361 at LowParse.Spec.BoundedInt.fsti(232,0-235,62):
- Some #push-options have not been popped. Current depth is 1.
|
|
Build:
LowParse.Spec.Base.fsti#L544
(271) * Warning 271 at LowParse.Spec.Base.fsti(544,13-546,17):
- Pattern misses at least one bound variable: t
|
|
Build:
LowParse.Spec.Base.fsti#L546
(271) * Warning 271 at LowParse.Spec.Base.fsti(546,14-546,16):
- SMT pattern misses at least one bound variable: t
|
|
Build:
LowParse.Spec.Enum.fst#L107
(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
|
|
Build:
dummy#L1
(361) * Warning 361 at LowParse.BitFields.fst(1276,0-1276,29):
- Some #push-options have not been popped. Current depth is 1.
|
|
Build:
LowParse.Spec.BitSum.fst#L1421
(331) * Warning 331 at LowParse.Spec.BitSum.fst(1421,7-1421,8):
- This name is being ignored
|
|
Build:
dummy#L1
(361) * Warning 361 at LowParse.Spec.BitSum.fst(2116,0-2141,57):
- Some #push-options have not been popped. Current depth is 2.
|
|
Build:
LowParse.Low.Base.Spec.fst#L487
(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.
|
|
Build:
LowParse.Low.Base.Spec.fst#L511
(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
|
|
Build:
LowParse.Low.Base.Spec.fst#L548
(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.
|
Loading