Introduce {:isolate} and {:isolate "paths"} attributes for assert and return commands
#1786
keyboardDrummerAnnotations
43 errors and 10 warnings
|
Boogie CI (Release, batch_mode=False):
Source/Graph/Graph.cs#L35
The type 'Node' cannot be used as type parameter 'TKey' in the generic type or method 'Dictionary<TKey, TValue>'. Nullability of type argument 'Node' doesn't match 'notnull' constraint.
|
|
Boogie CI (Release, batch_mode=False):
Source/Graph/Graph.cs#L1199
Cannot convert null literal to non-nullable reference type.
|
|
Boogie CI (Release, batch_mode=False):
Source/Graph/Graph.cs#L68
The type 'TNode' cannot be used as type parameter 'TKey' in the generic type or method 'Dictionary<TKey, TValue>'. Nullability of type argument 'TNode' doesn't match 'notnull' constraint.
|
|
Boogie CI (Release, batch_mode=False):
Source/Graph/Graph.cs#L72
The type 'TNode' cannot be used as type parameter 'TKey' in the generic type or method 'Dictionary<TKey, TValue>'. Nullability of type argument 'TNode' doesn't match 'notnull' constraint.
|
|
Boogie CI (Release, batch_mode=False):
Source/Graph/Graph.cs#L127
The type 'TNode' cannot be used as type parameter 'TKey' in the generic type or method 'Dictionary<TKey, TValue>'. Nullability of type argument 'TNode' doesn't match 'notnull' constraint.
|
|
Boogie CI (Release, batch_mode=False):
Source/Graph/Graph.cs#L88
The type 'TNode' cannot be used as type parameter 'TKey' in the generic type or method 'Dictionary<TKey, TValue>'. Nullability of type argument 'TNode' doesn't match 'notnull' constraint.
|
|
Boogie CI (Release, batch_mode=False):
Source/Graph/Graph.cs#L97
Cannot convert null literal to non-nullable reference type.
|
|
Boogie CI (Release, batch_mode=False):
Source/Graph/Graph.cs#L433
The type 'Node' cannot be used as type parameter 'TKey' in the generic type or method 'Dictionary<TKey, TValue>'. Nullability of type argument 'Node' doesn't match 'notnull' constraint.
|
|
Boogie CI (Release, batch_mode=False):
Source/Graph/Graph.cs#L438
The type 'Node' cannot be used as type parameter 'TKey' in the generic type or method 'Dictionary<TKey, TValue>'. Nullability of type argument 'Node' doesn't match 'notnull' constraint.
|
|
Boogie CI (Release, batch_mode=False):
Source/Graph/Graph.cs#L439
The type 'Node' cannot be used as type parameter 'TKey' in the generic type or method 'Dictionary<TKey, TValue>'. Nullability of type argument 'Node' doesn't match 'notnull' constraint.
|
|
Boogie CI (Debug, batch_mode=False)
The job was canceled because "Release_batch_mode_False" failed.
|
|
Boogie CI (Debug, batch_mode=False):
Source/Graph/Graph.cs#L35
The type 'Node' cannot be used as type parameter 'TKey' in the generic type or method 'Dictionary<TKey, TValue>'. Nullability of type argument 'Node' doesn't match 'notnull' constraint.
|
|
Boogie CI (Debug, batch_mode=False):
Source/Graph/Graph.cs#L1199
Cannot convert null literal to non-nullable reference type.
|
|
Boogie CI (Debug, batch_mode=False):
Source/Graph/Graph.cs#L68
The type 'TNode' cannot be used as type parameter 'TKey' in the generic type or method 'Dictionary<TKey, TValue>'. Nullability of type argument 'TNode' doesn't match 'notnull' constraint.
|
|
Boogie CI (Debug, batch_mode=False):
Source/Graph/Graph.cs#L72
The type 'TNode' cannot be used as type parameter 'TKey' in the generic type or method 'Dictionary<TKey, TValue>'. Nullability of type argument 'TNode' doesn't match 'notnull' constraint.
|
|
Boogie CI (Debug, batch_mode=False):
Source/Graph/Graph.cs#L127
The type 'TNode' cannot be used as type parameter 'TKey' in the generic type or method 'Dictionary<TKey, TValue>'. Nullability of type argument 'TNode' doesn't match 'notnull' constraint.
|
|
Boogie CI (Debug, batch_mode=False):
Source/Graph/Graph.cs#L88
The type 'TNode' cannot be used as type parameter 'TKey' in the generic type or method 'Dictionary<TKey, TValue>'. Nullability of type argument 'TNode' doesn't match 'notnull' constraint.
|
|
Boogie CI (Debug, batch_mode=False):
Source/Graph/Graph.cs#L433
The type 'Node' cannot be used as type parameter 'TKey' in the generic type or method 'Dictionary<TKey, TValue>'. Nullability of type argument 'Node' doesn't match 'notnull' constraint.
|
|
Boogie CI (Debug, batch_mode=False):
Source/Graph/Graph.cs#L438
The type 'Node' cannot be used as type parameter 'TKey' in the generic type or method 'Dictionary<TKey, TValue>'. Nullability of type argument 'Node' doesn't match 'notnull' constraint.
|
|
Boogie CI (Debug, batch_mode=False):
Source/Graph/Graph.cs#L439
The type 'Node' cannot be used as type parameter 'TKey' in the generic type or method 'Dictionary<TKey, TValue>'. Nullability of type argument 'Node' doesn't match 'notnull' constraint.
|
|
Boogie CI (Debug, batch_mode=False):
Source/Graph/Graph.cs#L638
The type 'Node' cannot be used as type parameter 'TKey' in the generic type or method 'Dictionary<TKey, TValue>'. Nullability of type argument 'Node' doesn't match 'notnull' constraint.
|
|
Boogie CI (Release, batch_mode=True)
The job was canceled because "Release_batch_mode_False" failed.
|
|
Boogie CI (Release, batch_mode=True):
Source/Graph/Graph.cs#L35
The type 'Node' cannot be used as type parameter 'TKey' in the generic type or method 'Dictionary<TKey, TValue>'. Nullability of type argument 'Node' doesn't match 'notnull' constraint.
|
|
Boogie CI (Release, batch_mode=True):
Source/Graph/Graph.cs#L1199
Cannot convert null literal to non-nullable reference type.
|
|
Boogie CI (Release, batch_mode=True):
Source/Graph/Graph.cs#L68
The type 'TNode' cannot be used as type parameter 'TKey' in the generic type or method 'Dictionary<TKey, TValue>'. Nullability of type argument 'TNode' doesn't match 'notnull' constraint.
|
|
Boogie CI (Release, batch_mode=True):
Source/Graph/Graph.cs#L72
The type 'TNode' cannot be used as type parameter 'TKey' in the generic type or method 'Dictionary<TKey, TValue>'. Nullability of type argument 'TNode' doesn't match 'notnull' constraint.
|
|
Boogie CI (Release, batch_mode=True):
Source/Graph/Graph.cs#L127
The type 'TNode' cannot be used as type parameter 'TKey' in the generic type or method 'Dictionary<TKey, TValue>'. Nullability of type argument 'TNode' doesn't match 'notnull' constraint.
|
|
Boogie CI (Release, batch_mode=True):
Source/Graph/Graph.cs#L88
The type 'TNode' cannot be used as type parameter 'TKey' in the generic type or method 'Dictionary<TKey, TValue>'. Nullability of type argument 'TNode' doesn't match 'notnull' constraint.
|
|
Boogie CI (Release, batch_mode=True):
Source/Graph/Graph.cs#L97
Cannot convert null literal to non-nullable reference type.
|
|
Boogie CI (Release, batch_mode=True):
Source/Graph/Graph.cs#L433
The type 'Node' cannot be used as type parameter 'TKey' in the generic type or method 'Dictionary<TKey, TValue>'. Nullability of type argument 'Node' doesn't match 'notnull' constraint.
|
|
Boogie CI (Release, batch_mode=True):
Source/Graph/Graph.cs#L438
The type 'Node' cannot be used as type parameter 'TKey' in the generic type or method 'Dictionary<TKey, TValue>'. Nullability of type argument 'Node' doesn't match 'notnull' constraint.
|
|
Boogie CI (Release, batch_mode=True):
Source/Graph/Graph.cs#L439
The type 'Node' cannot be used as type parameter 'TKey' in the generic type or method 'Dictionary<TKey, TValue>'. Nullability of type argument 'Node' doesn't match 'notnull' constraint.
|
|
Boogie CI (Debug, batch_mode=True)
The job was canceled because "Release_batch_mode_False" failed.
|
|
Boogie CI (Debug, batch_mode=True):
Source/Graph/Graph.cs#L35
The type 'Node' cannot be used as type parameter 'TKey' in the generic type or method 'Dictionary<TKey, TValue>'. Nullability of type argument 'Node' doesn't match 'notnull' constraint.
|
|
Boogie CI (Debug, batch_mode=True):
Source/Graph/Graph.cs#L1199
Cannot convert null literal to non-nullable reference type.
|
|
Boogie CI (Debug, batch_mode=True):
Source/Graph/Graph.cs#L68
The type 'TNode' cannot be used as type parameter 'TKey' in the generic type or method 'Dictionary<TKey, TValue>'. Nullability of type argument 'TNode' doesn't match 'notnull' constraint.
|
|
Boogie CI (Debug, batch_mode=True):
Source/Graph/Graph.cs#L72
The type 'TNode' cannot be used as type parameter 'TKey' in the generic type or method 'Dictionary<TKey, TValue>'. Nullability of type argument 'TNode' doesn't match 'notnull' constraint.
|
|
Boogie CI (Debug, batch_mode=True):
Source/Graph/Graph.cs#L127
The type 'TNode' cannot be used as type parameter 'TKey' in the generic type or method 'Dictionary<TKey, TValue>'. Nullability of type argument 'TNode' doesn't match 'notnull' constraint.
|
|
Boogie CI (Debug, batch_mode=True):
Source/Graph/Graph.cs#L88
The type 'TNode' cannot be used as type parameter 'TKey' in the generic type or method 'Dictionary<TKey, TValue>'. Nullability of type argument 'TNode' doesn't match 'notnull' constraint.
|
|
Boogie CI (Debug, batch_mode=True):
Source/Graph/Graph.cs#L97
Cannot convert null literal to non-nullable reference type.
|
|
Boogie CI (Debug, batch_mode=True):
Source/Graph/Graph.cs#L433
The type 'Node' cannot be used as type parameter 'TKey' in the generic type or method 'Dictionary<TKey, TValue>'. Nullability of type argument 'Node' doesn't match 'notnull' constraint.
|
|
Boogie CI (Debug, batch_mode=True):
Source/Graph/Graph.cs#L438
The type 'Node' cannot be used as type parameter 'TKey' in the generic type or method 'Dictionary<TKey, TValue>'. Nullability of type argument 'Node' doesn't match 'notnull' constraint.
|
|
Boogie CI (Debug, batch_mode=True):
Source/Graph/Graph.cs#L439
The type 'Node' cannot be used as type parameter 'TKey' in the generic type or method 'Dictionary<TKey, TValue>'. Nullability of type argument 'Node' doesn't match 'notnull' constraint.
|
|
Boogie CI (Release, batch_mode=False)
The following actions uses node12 which is deprecated and will be forced to run on node16: battila7/get-version-action@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
Boogie CI (Release, batch_mode=False)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/setup-dotnet@v3, actions/checkout@v3, battila7/get-version-action@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
Boogie CI (Release, batch_mode=False)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
Boogie CI (Release, batch_mode=False)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
Boogie CI (Debug, batch_mode=False)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
Boogie CI (Debug, batch_mode=False)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
Boogie CI (Release, batch_mode=True)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
Boogie CI (Release, batch_mode=True)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
Boogie CI (Debug, batch_mode=True)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
Boogie CI (Debug, batch_mode=True)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|