Skip to content

Various updates to SMT engine #987

Various updates to SMT engine

Various updates to SMT engine #987

Triggered via push June 3, 2024 17:56
Status Failure
Total duration 8m 7s
Artifacts 2

ci.yml

on: push
Matrix: build
Create NuGet package
0s
Create NuGet package
Fit to window
Zoom out
Zoom in

Annotations

2 errors and 1 warning
Build on ubuntu-20.04
Process completed with exit code 1.
Build on windows-latest
Process completed with exit code 1.
Build on windows-latest
'~': zero extending 'char_type' to '__int64' of greater size

Artifacts

Produced during runtime
Name Size
sp4c-linux-x64 Expired
1.1 MB
sp4c-win-x64 Expired
1020 KB