Add various specs for slice skip/take #186

Sign in to view logs

Triggered via pull request September 7, 2024 19:47

tchajed

opened #112

tchajed/slice-specs

Status Success

Total duration 58m 5s

Artifacts –

ci.yml

on: pull_request

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