chore: remove unused crates from Cargo.toml · dafny-lang/dafny@6808fa1

Triggered via pull request September 24, 2024 21:40

ajewellamz

opened #5791

ajewell/cargo-cleanup

Status Success

Total duration 2m 50s

Artifacts 1

refman.yml

on: pull_request

Matrix: build-refman

Produced during runtime

Name	Size	Digest
DafnyRef Expired	1.47 MB	`sha256:0bdfde13127e7d8056f7ea6df36febfaf10acbedec8bac7f5593ad8fd31d0e4c`