Fix: Factorization of all paths in the generated Rust AST #10138
Triggered via pull request
September 16, 2024 20:29
MikaelMayer
Status
Failure
Total duration
5m 15s
Artifacts
–
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
doc-tests.yml
on: pull_request
check-deep-tests
/
check-deep-tests
7s
doctests
4m 50s
Annotations
3 errors
|
doctests:
Source/DafnyCore/Backends/Rust/RustCodeGenerator.cs#L26
'RustBackend' does not contain a definition for 'RustModuleNameOption'
|
|
doctests:
Source/DafnyCore/Backends/Rust/RustCodeGenerator.cs#L26
'RustBackend' does not contain a definition for 'RustModuleNameOption'
|
|
doctests
Process completed with exit code 1.
|