Bump external/iris from `0653ba6` to `f6ed092` · mit-pdos/perennial@dfe0c0e

Triggered via pull request September 5, 2024 08:59

opened #109

Status Success

Total duration 57m 4s

Artifacts –

ci.yml

on: pull_request

Matrix: build-vos

Matrix: build

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