Feat: Ensure Dafny chars support the Copy trait · dafny-lang/dafny@4b16c4d

Triggered via pull request January 10, 2025 23:07

synchronize #6033

feat-rust-char-copy

Status Success

Total duration 6m 28s

Artifacts 1

refman.yml

on: pull_request

Matrix: build-refman

Produced during runtime

Name	Size
DafnyRef	1.47 MB