A solution to avoid using .set() function by replacing IndexMut with index_set · verus-lang/verus@ec15adf

Triggered via pull request February 26, 2025 00:59

ziqiaozhou

synchronize #1476

ziqiaozhou:index_set

Status Success

Total duration 19m 40s

Artifacts 5

ci.yml

on: pull_request

Matrix: test-and-release-macos

Produced during runtime