Build and Test Dafny Standard Libraries

Feat: Ensure Dafny chars support the Copy trait #4312

Sign in to view logs

Triggered via pull request January 11, 2025 00:49

MikaelMayer

synchronize #6033

feat-rust-char-copy

Status Success

Total duration 25m 43s

Artifacts –

standard-libraries.yml

on: pull_request

check-deep-tests / check-deep-tests