Skip to content

[CP-SAT] speedup on constraint_violation; cleanup clause invariants; … #424

[CP-SAT] speedup on constraint_violation; cleanup clause invariants; …

[CP-SAT] speedup on constraint_violation; cleanup clause invariants; … #424

Triggered via push October 15, 2023 16:08
Status Failure
Total duration 1h 7m 0s
Artifacts
Fit to window
Zoom out
Zoom in

Annotations

1 error and 12 warnings
linux_cpp
Process completed with exit code 2.
linux_dotnet
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/setup-dotnet@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
linux_dotnet
.NET Core 3.1 is no longer supported and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the .NET support policy.
linux_dotnet
Some target frameworks declared in the dependencies group of the nuspec and the lib/ref folder do not have exact matches in the other location. Consult the list of actions below:
linux_dotnet
- Add lib or ref assemblies for the net6.0 target framework
linux_dotnet: build/dotnet/Google.OrTools/ortools/constraint_solver/BaseObject.cs#L55
'BaseObject.ToString()' hides inherited member 'object.ToString()'. To make the current member override that implementation, add the override keyword. Otherwise add the new keyword.
linux_dotnet: build/dotnet/Google.OrTools/ortools/constraint_solver/Constraint.cs#L18
'Constraint' defines operator == or operator != but does not override Object.Equals(object o)
linux_dotnet: build/dotnet/Google.OrTools/ortools/constraint_solver/Constraint.cs#L18
'Constraint' defines operator == or operator != but does not override Object.GetHashCode()
linux_dotnet: build/dotnet/Google.OrTools/ortools/constraint_solver/IntervalVarElement.cs#L206
'IntervalVarElement.ToString()' hides inherited member 'object.ToString()'. To make the current member override that implementation, add the override keyword. Otherwise add the new keyword.
linux_dotnet: build/dotnet/Google.OrTools/ortools/constraint_solver/IntExpr.cs#L18
'IntExpr' defines operator == or operator != but does not override Object.Equals(object o)
linux_dotnet: build/dotnet/Google.OrTools/ortools/constraint_solver/IntExpr.cs#L18
'IntExpr' defines operator == or operator != but does not override Object.GetHashCode()
linux_dotnet: build/dotnet/Google.OrTools/ortools/constraint_solver/IntVarElement.cs#L113
'IntVarElement.ToString()' hides inherited member 'object.ToString()'. To make the current member override that implementation, add the override keyword. Otherwise add the new keyword.
linux_dotnet: build/dotnet/Google.OrTools/ortools/linear_solver/Variable.cs#L13
'Variable' defines operator == or operator != but does not override Object.Equals(object o)