Skip to content
Test documentation

Fix: Factorization of all paths in the generated Rust AST #10077

Sign in to view logs

Fix: Factorization of all paths in the generated Rust AST

Fix: Factorization of all paths in the generated Rust AST #10077

Triggered via pull request September 10, 2024 00:16
@MikaelMayerMikaelMayer
synchronize #5757
fix-5755-simplify-paths
Status Success
Total duration 17m 43s
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
6s
check-deep-tests / check-deep-tests
doctests
17m 22s
doctests
Fit to window
Zoom out
Zoom in

Annotations

10 warnings
doctests: Source/DafnyCore/GeneratedFromDafny/DafnyCompilerRustUtils.cs#L18
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
doctests: Source/DafnyCore/GeneratedFromDafny/Std_Collections_Seq.cs#L169
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
doctests: Source/DafnyCore/GeneratedFromDafny/Std_Collections_Seq.cs#L169
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
doctests: Source/DafnyCore/GeneratedFromDafny/Std_Collections_Seq.cs#L179
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
doctests: Source/DafnyCore/GeneratedFromDafny/Std_Collections_Seq.cs#L265
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
doctests: Source/DafnyCore/GeneratedFromDafny/Std_Collections_Seq.cs#L270
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
doctests: Source/DafnyCore/GeneratedFromDafny/Std_Strings_DecimalConversion.cs#L131
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
doctests: Source/DafnyCore/GeneratedFromDafny/Std_Strings_DecimalConversion.cs#L146
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
doctests: Source/DafnyCore/GeneratedFromDafny/DAST.cs#L6271
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
doctests: Source/DafnyCore/GeneratedFromDafny/DAST.cs#L6303
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.