Re-goose with mutex/cond renames #185

Sign in to view logs

Triggered via push September 7, 2024 16:08

tchajed

master

Status Success

Total duration 57m 36s

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