Support `opens_invariants` with concrete sets · verus-lang/verusfmt@0ef7f8d

Triggered via pull request September 23, 2024 23:10

opened #93

Status Success

Total duration 19s

Artifacts 1

release.yml

on: pull_request

Matrix: build-local-artifacts

Produced during runtime

Name	Size
artifacts-plan-dist-manifest Expired	1.56 KB