Static analysis fix in UnifierTests. #109
Annotations
1 warning
Run Tests:
src/SCFirstOrderLogic/TermIndexing/AsyncPathTree{TValue}.cs#L250
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.
|
The logs for this run have expired and are no longer available.
Loading