Skip to content

Folder Refactor

Folder Refactor #37

Triggered via pull request February 13, 2026 17:25
Status Failure
Total duration 34s
Artifacts

main.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

1 error and 10 warnings
build
Process completed with exit code 1.
build: Interfaces/VisualizationInterface.cs#L37
Converting null literal or possible null value to non-nullable type.
build: Interfaces/VisualizationInterface.cs#L27
Possible null reference argument for parameter 'problem' in 'API_JSON IVisualization<U>.visualize(U problem)'.
build: Interfaces/VisualizationInterface.cs#L27
Converting null literal or possible null value to non-nullable type.
build: Problems/P/NPC_DFA/Verifiers/DFAVerifier.cs#L19
Non-nullable field 'nodes' must contain a non-null value when exiting constructor. Consider adding the 'required' modifier or declaring the field as nullable.
build: Problems/NPComplete/NPC_SAT3/SAT3PQObject.cs#L160
Possible null reference return.
build: Problems/NPComplete/NPC_SAT3/SAT3PQObject.cs#L12
Non-nullable field 'nextVar' must contain a non-null value when exiting constructor. Consider adding the 'required' modifier or declaring the field as nullable.
build: AdditionalControllers/ProblemProvider.cs#L211
Dereference of a possibly null reference.
build
The entry point of the program is global code; ignoring 'AutoGeneratedProgram.Main(string[])' entry point.
build: Interfaces/graphs/WeightedUndirectedGraph.cs#L285
'WeightedUndirectedGraph.getEdgeList' hides inherited member 'Graph.getEdgeList'. Use the new keyword if hiding was intended.
build: Interfaces/graphs/WeightedUndirectedGraph.cs#L278
'WeightedUndirectedGraph.getNodeList' hides inherited member 'Graph.getNodeList'. Use the new keyword if hiding was intended.