Build DafnyRef.pdf

Feat: Rust operators and immutable collections #17183

Sign in to view logs

Triggered via pull request April 26, 2024 16:08

synchronize #5081

feat-rust-operators

Status Success

Total duration 2m 52s

Artifacts 1

refman.yml

on: pull_request

check-deep-tests / check-deep-tests

Matrix: build-refman

Artifacts

Produced during runtime

Name	Size
DafnyRef Expired	1.45 MB