Merge branch 'master' of https://github.com/G3Kappa/Ergo #48
giovinazzo-kevinAnnotations
11 warnings
|
build
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v3, actions/setup-dotnet@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
build:
Ergo/Lang/Compiler/Nodes/Control Flow/SequenceNode.cs#L27
The variable 'fixpoint' is assigned but its value is never used
|
|
build:
Ergo/Shell/Commands/ClearScreen.cs#L12
This async method lacks 'await' operators and will run synchronously. Consider using the 'await' operator to await non-blocking API calls, or 'await Task.Run(...)' to do CPU-bound work on a background thread.
|
|
build:
Ergo/Shell/Commands/ExecuteDirective.cs#L12
This async method lacks 'await' operators and will run synchronously. Consider using the 'await' operator to await non-blocking API calls, or 'await Task.Run(...)' to do CPU-bound work on a background thread.
|
|
build:
Ergo/Shell/Commands/_Shared/PredicatesShellCommand.cs#L12
This async method lacks 'await' operators and will run synchronously. Consider using the 'await' operator to await non-blocking API calls, or 'await Task.Run(...)' to do CPU-bound work on a background thread.
|
|
build:
Ergo/Shell/Commands/Load.cs#L12
This async method lacks 'await' operators and will run synchronously. Consider using the 'await' operator to await non-blocking API calls, or 'await Task.Run(...)' to do CPU-bound work on a background thread.
|
|
build:
Ergo/Shell/Commands/ToggleTrace.cs#L12
This async method lacks 'await' operators and will run synchronously. Consider using the 'await' operator to await non-blocking API calls, or 'await Task.Run(...)' to do CPU-bound work on a background thread.
|
|
build:
Ergo/Shell/Commands/ToggleThrow.cs#L12
This async method lacks 'await' operators and will run synchronously. Consider using the 'await' operator to await non-blocking API calls, or 'await Task.Run(...)' to do CPU-bound work on a background thread.
|
|
build:
Ergo/Shell/Commands/PrintBuiltIns.cs#L13
This async method lacks 'await' operators and will run synchronously. Consider using the 'await' operator to await non-blocking API calls, or 'await Task.Run(...)' to do CPU-bound work on a background thread.
|
|
build:
Ergo/Shell/Commands/ToggleOptimizations.cs#L12
This async method lacks 'await' operators and will run synchronously. Consider using the 'await' operator to await non-blocking API calls, or 'await Task.Run(...)' to do CPU-bound work on a background thread.
|
|
build:
Ergo/Shell/Commands/PrintModules.cs#L12
This async method lacks 'await' operators and will run synchronously. Consider using the 'await' operator to await non-blocking API calls, or 'await Task.Run(...)' to do CPU-bound work on a background thread.
|