Skip to content

Merge branch 'master' of https://github.com/G3Kappa/Ergo #12

Merge branch 'master' of https://github.com/G3Kappa/Ergo

Merge branch 'master' of https://github.com/G3Kappa/Ergo #12

Triggered via push January 1, 2024 03:21
Status Success
Total duration 2m 44s
Artifacts

dotnet.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

10 warnings
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/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/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/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.
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/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/_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/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/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/Save.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.