Skip to content
Build and Test

Added Goal specification to Arithmetic Postconditions #62

Sign in to view logs

Added Goal specification to Arithmetic Postconditions

Added Goal specification to Arithmetic Postconditions #62

Triggered via pull request December 16, 2023 22:03
@JanWerderJanWerder
synchronize #19
JanWerder:main
Status Success
Total duration 35s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

build.yml

on: pull_request
build
25s
build
Fit to window
Zoom out
Zoom in

Annotations

10 warnings
build: MountainGoap/PriorityQueue/FastPriorityQueue.cs#L1
The file header is missing or not located at the top of the file. (https://github.com/DotNetAnalyzers/StyleCopAnalyzers/blob/master/documentation/SA1633.md)
build: MountainGoap/PriorityQueue/FastPriorityQueueNode.cs#L1
The file header is missing or not located at the top of the file. (https://github.com/DotNetAnalyzers/StyleCopAnalyzers/blob/master/documentation/SA1633.md)
build: MountainGoap/PriorityQueue/GenericPriorityQueue.cs#L1
The file header is missing or not located at the top of the file. (https://github.com/DotNetAnalyzers/StyleCopAnalyzers/blob/master/documentation/SA1633.md)
build: MountainGoap/PriorityQueue/GenericPriorityQueueNode.cs#L1
The file header is missing or not located at the top of the file. (https://github.com/DotNetAnalyzers/StyleCopAnalyzers/blob/master/documentation/SA1633.md)
build: MountainGoap/PriorityQueue/IFixedSizePriorityQueue.cs#L1
The file header is missing or not located at the top of the file. (https://github.com/DotNetAnalyzers/StyleCopAnalyzers/blob/master/documentation/SA1633.md)
build: MountainGoap/PriorityQueue/IPriorityQueue.cs#L1
The file header is missing or not located at the top of the file. (https://github.com/DotNetAnalyzers/StyleCopAnalyzers/blob/master/documentation/SA1633.md)
build: MountainGoap/PriorityQueue/Properties/AssemblyInfo.cs#L1
The file header is missing or not located at the top of the file. (https://github.com/DotNetAnalyzers/StyleCopAnalyzers/blob/master/documentation/SA1633.md)
build: MountainGoap/PriorityQueue/SimplePriorityQueue.cs#L1
The file header is missing or not located at the top of the file. (https://github.com/DotNetAnalyzers/StyleCopAnalyzers/blob/master/documentation/SA1633.md)
build: MountainGoap/PriorityQueue/StablePriorityQueue.cs#L1
The file header is missing or not located at the top of the file. (https://github.com/DotNetAnalyzers/StyleCopAnalyzers/blob/master/documentation/SA1633.md)
build: MountainGoap/PriorityQueue/StablePriorityQueueNode.cs#L1
The file header is missing or not located at the top of the file. (https://github.com/DotNetAnalyzers/StyleCopAnalyzers/blob/master/documentation/SA1633.md)