Skip to content
Test documentation

Feat: Dafny-to-Rust code indentation and identifiers #7705

Sign in to view logs

Feat: Dafny-to-Rust code indentation and identifiers

Feat: Dafny-to-Rust code indentation and identifiers #7705

Triggered via pull request January 10, 2024 21:52
@MikaelMayerMikaelMayer
opened #4974
feat-rust-indentation
Status Success
Total duration 17m 55s
Artifacts –

doc-tests.yml

on: pull_request
check-deep-tests  /  check-deep-tests
5s
check-deep-tests / check-deep-tests
doctests
17m 33s
doctests
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
doctests: Source/DafnyCore/GeneratedFromDafny.cs#L624
'ISequence<__T>.Elements' is obsolete: 'Use CloneAsArray() instead of Elements (both perform a copy).'
doctests: Source/DafnyCore/GeneratedFromDafny.cs#L624
'ISequence<__T>.Elements' is obsolete: 'Use CloneAsArray() instead of Elements (both perform a copy).'