Bump external/stdpp from 8548ce4
to 6cb5c0f
#161
Triggered via pull request
September 4, 2024 11:51
Status
Success
Total duration
58m 19s
Artifacts
–
Annotations
3 warnings
build-vos (dev):
external/iris/iris/bi/notation.v#L36
Closed notations (i.e. starting and ending with a terminal symbol) should usually be at level 0 (default).
|
build (dev):
external/iris/iris/bi/notation.v#L36
Closed notations (i.e. starting and ending with a terminal symbol) should usually be at level 0 (default).
|
build (dev):
src/program_proof/pav/invs.v#L133
Use of the non-reference term is_chain_func in "using" clauses is deprecated
|