CI

document applyUpdates #22

Sign in to view logs

Triggered via push July 30, 2024 19:55

sanjit-bhat

master

Status Success

Total duration 53m 50s

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)

build (dev): external/iris/iris/bi/notation.v#L36

Closed notations (i.e. starting and ending with a terminal symbol)