New and improved `solve_has_go_type` · mit-pdos/perennial@21ff3a8

Triggered via push September 6, 2024 16:22

upamanyus

master

Status Success

Total duration 58m 27s

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