Add CI for certificate generation #9
gauravparthaAnnotations
1 error and 10 warnings
|
build
Process completed with exit code 1.
|
|
build:
boogie-proofgen/Source/ProofGenUtil/ObjectExtensions.cs#L105
Nullability of type of parameter 'x' doesn't match overridden member (possibly because of nullability attributes).
|
|
build:
boogie-proofgen/Source/ProofGenUtil/ObjectExtensions.cs#L105
Nullability of type of parameter 'y' doesn't match overridden member (possibly because of nullability attributes).
|
|
build:
boogie-proofgen/Source/ProofGenUtil/ObjectExtensions.cs#L85
Cannot convert null literal to non-nullable reference type.
|
|
build:
boogie-proofgen/Source/ProofGenUtil/ObjectExtensions.cs#L47
Possible null reference return.
|
|
build:
boogie-proofgen/Source/ProofGenUtil/ObjectExtensions.cs#L51
Possible null reference return.
|
|
build:
boogie-proofgen/Source/ProofGenUtil/ObjectExtensions.cs#L56
Possible null reference argument for parameter 'type' in 'bool ObjectExtensions.IsPrimitive(Type type)'.
|
|
build:
boogie-proofgen/Source/ProofGenUtil/ObjectExtensions.cs#L58
Converting null literal or possible null value to non-nullable type.
|
|
build:
boogie-proofgen/Source/ProofGenUtil/ObjectExtensions.cs#L59
Possible null reference argument for parameter 'array' in 'void ArrayExtensions.ForEach(Array array, Action<Array, int[]> action)'.
|
|
build:
boogie-proofgen/Source/ProofGenUtil/ObjectExtensions.cs#L60
Dereference of a possibly null reference.
|
|
build:
boogie-proofgen/Source/ProofGenUtil/ObjectExtensions.cs#L60
Possible null reference argument for parameter 'originalObject' in 'object ObjectExtensions.InternalCopy(object originalObject, IDictionary<object, object> visited, Predicate<Type> deepCopyPred)'.
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
versions-.txt
|
233 Bytes |
|