Suppress warnings about Stdlib renaming #197

Sign in to view logs

Triggered via push September 10, 2024 17:34

tchajed

master

Status Success

Total duration 57m 55s

Artifacts –

ci.yml

on: push

Matrix: build-vos

Matrix: build

Annotations

2 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).