More etcd proof; it's really slow · mit-pdos/perennial@4669382

Triggered via push September 5, 2024 15:23

upamanyus

master

Status Success

Total duration 58m 56s

Artifacts –

ci.yml

on: push

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