Support `opens_invariants` with concrete sets · verus-lang/verusfmt@2b776bc

Triggered via pull request September 24, 2024 20:16

synchronize #93

Status Success

Total duration 26s

Artifacts 2

release.yml

on: pull_request

Matrix: build-local-artifacts

Produced during runtime

Name	Size
artifacts-plan-dist-manifest	1.72 KB
cargo-dist-cache	8.01 MB