Add CI for certificate generation #13
Annotations
5 errors and 10 warnings
Set up Python
The directory '/github/home/.cache/pip/http' or its parent directory is not owned by the current user and the cache has been disabled. Please check the permissions and owner of that directory. If executing pip with sudo, you may want sudo's -H flag.
|
Set up Python
The directory '/github/home/.cache/pip' or its parent directory is not owned by the current user and caching wheels has been disabled. check the permissions and owner of that directory. If executing pip with sudo, you may want sudo's -H flag.
|
Set up Python
The directory '/github/home/.cache/pip/http' or its parent directory is not owned by the current user and the cache has been disabled. Please check the permissions and owner of that directory. If executing pip with sudo, you may want sudo's -H flag.
|
Set up Python
The directory '/github/home/.cache/pip' or its parent directory is not owned by the current user and caching wheels has been disabled. check the permissions and owner of that directory. If executing pip with sudo, you may want sudo's -H flag.
|
Check certificates
Process completed with exit code 2.
|
Compile Boogie:
boogie-proofgen/Source/ProofGenUtil/ObjectExtensions.cs#L105
Nullability of type of parameter 'x' doesn't match overridden member (possibly because of nullability attributes).
|
Compile Boogie:
boogie-proofgen/Source/ProofGenUtil/ObjectExtensions.cs#L105
Nullability of type of parameter 'y' doesn't match overridden member (possibly because of nullability attributes).
|
Compile Boogie:
boogie-proofgen/Source/ProofGenUtil/ObjectExtensions.cs#L85
Cannot convert null literal to non-nullable reference type.
|
Compile Boogie:
boogie-proofgen/Source/ProofGenUtil/ObjectExtensions.cs#L47
Possible null reference return.
|
Compile Boogie:
boogie-proofgen/Source/ProofGenUtil/ObjectExtensions.cs#L51
Possible null reference return.
|
Compile Boogie:
boogie-proofgen/Source/ProofGenUtil/ObjectExtensions.cs#L56
Possible null reference argument for parameter 'type' in 'bool ObjectExtensions.IsPrimitive(Type type)'.
|
Compile Boogie:
boogie-proofgen/Source/ProofGenUtil/ObjectExtensions.cs#L58
Converting null literal or possible null value to non-nullable type.
|
Compile Boogie:
boogie-proofgen/Source/ProofGenUtil/ObjectExtensions.cs#L59
Possible null reference argument for parameter 'array' in 'void ArrayExtensions.ForEach(Array array, Action<Array, int[]> action)'.
|
Compile Boogie:
boogie-proofgen/Source/ProofGenUtil/ObjectExtensions.cs#L60
Dereference of a possibly null reference.
|
Compile Boogie:
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)'.
|
Loading