Skip to content

[Fix] PVerifier codegen bug #3056

[Fix] PVerifier codegen bug

[Fix] PVerifier codegen bug #3056

Triggered via pull request February 16, 2026 03:47
Status Success
Total duration 6m 32s
Artifacts

macosci.yml

on: pull_request
Build-And-Test-MacOS
6m 29s
Build-And-Test-MacOS
Fit to window
Zoom out
Zoom in

Annotations

15 warnings
Build-And-Test-MacOS
No files were found with the provided path: Tst/UnitTests/TestResults/**/*.xml. No artifacts will be uploaded.
Build-And-Test-MacOS
The type name 'a' only contains lower-cased ascii characters. Such names may become reserved for the language.
Build-And-Test-MacOS
The type name 'x' only contains lower-cased ascii characters. Such names may become reserved for the language.
Build-And-Test-MacOS
The type name 'c' only contains lower-cased ascii characters. Such names may become reserved for the language.
Build-And-Test-MacOS
The type name 'b' only contains lower-cased ascii characters. Such names may become reserved for the language.
Build-And-Test-MacOS
The type name 'a' only contains lower-cased ascii characters. Such names may become reserved for the language.
Build-And-Test-MacOS
The type name 'c' only contains lower-cased ascii characters. Such names may become reserved for the language.
Build-And-Test-MacOS
The type name 'b' only contains lower-cased ascii characters. Such names may become reserved for the language.
Build-And-Test-MacOS
The type name 'a' only contains lower-cased ascii characters. Such names may become reserved for the language.
Build-And-Test-MacOS
The type name 'x' only contains lower-cased ascii characters. Such names may become reserved for the language.
Build-And-Test-MacOS
The type name 'x' only contains lower-cased ascii characters. Such names may become reserved for the language.
Build-And-Test-MacOS: Tst/UnitTests/TypeCheckingUtilsTest.cs#L3
The using directive for 'NUnit.Framework' appeared previously in this namespace
Build-And-Test-MacOS: Tst/UnitTests/TypeCheckingUtilsTest.cs#L3
The using directive for 'NUnit.Framework' appeared previously in this namespace