* Remove redundant cases #18
Annotations
7 errors and 3 warnings
Build:
src/Hox/DSL.fs#L202
The value 'Hox.NodeDsl.empty' was marked inline but was not bound in the optimization environment
|
Build:
src/Hox/DSL.fs#L483
The value 'empty' was marked inline but its implementation makes use of an internal or private function which is not sufficiently accessible
|
Build:
src/Hox/DSL.fs#L202
Failed to inline the value 'empty' marked 'inline', perhaps because a recursive value was marked 'inline'
|
Build:
src/Hox/DSL.fs#L202
The value 'Hox.NodeDsl.empty' was marked inline but was not bound in the optimization environment
|
Build:
src/Hox/DSL.fs#L483
The value 'empty' was marked inline but its implementation makes use of an internal or private function which is not sufficiently accessible
|
Build:
src/Hox/DSL.fs#L202
Failed to inline the value 'empty' marked 'inline', perhaps because a recursive value was marked 'inline'
|
Build
Process completed with exit code 1.
|
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/setup-dotnet@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
Build:
src/Hox/DSL.fs#L202
A value marked as 'inline' has an unexpected value
|
Build:
src/Hox/DSL.fs#L202
A value marked as 'inline' has an unexpected value
|
The logs for this run have expired and are no longer available.
Loading