This repository has been archived by the owner on Aug 27, 2024. It is now read-only.

.NET

Simulator property tests #113

Triggered via pull request June 26, 2024 17:19

NyMFB42

synchronize #70

Simulator-property-test

Status Success

Total duration 4m 18s

Billable time 5m

Artifacts –

dotnet.yml

on: pull_request

10 warnings

build: src/CRN.Visualization/Tikz.fs#L46

Failed to inline the value 'createHLine' marked 'inline', perhaps because a recursive value was marked 'inline'

build: src/CRN.Visualization/Tikz.fs#L47

Failed to inline the value 'drawTreeH'' marked 'inline', perhaps because a recursive value was marked 'inline'

build: src/CRN.Visualization/Tikz.fs#L58

Failed to inline the value 'createHLine' marked 'inline', perhaps because a recursive value was marked 'inline'

build: src/CRN.Visualization/Tikz.fs#L59

Failed to inline the value 'drawTreeH'' marked 'inline', perhaps because a recursive value was marked 'inline'

build: src/CRN.Visualization/Tikz.fs#L39

The member or function 'drawTree'' has the 'TailCallAttribute' attribute, but is not being used in a tail recursive way.

build: src/CRN.Visualization/Tikz.fs#L46

Failed to inline the value 'createHLine' marked 'inline', perhaps because a recursive value was marked 'inline'

build: src/CRN.Visualization/Tikz.fs#L47

Failed to inline the value 'drawTreeH'' marked 'inline', perhaps because a recursive value was marked 'inline'

build: src/CRN.Visualization/Tikz.fs#L58

Failed to inline the value 'createHLine' marked 'inline', perhaps because a recursive value was marked 'inline'

build: src/CRN.Visualization/Tikz.fs#L59

Failed to inline the value 'drawTreeH'' marked 'inline', perhaps because a recursive value was marked 'inline'

build: src/CRN.Visualization/Tikz.fs#L39

The member or function 'drawTree'' has the 'TailCallAttribute' attribute, but is not being used in a tail recursive way.