Skip to content

Change SMT model save location to be in build - always do it and auto… #1019

Change SMT model save location to be in build - always do it and auto…

Change SMT model save location to be in build - always do it and auto… #1019

Triggered via push June 7, 2024 20:43
Status Success
Total duration 10m 9s
Artifacts 3

ci.yml

on: push
Matrix: build
Create NuGet package
2m 48s
Create NuGet package
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Build on windows-latest
'~': zero extending 'saisxx_private::computeBWT::char_type' to '__int64' of greater size

Artifacts

Produced during runtime
Name Size
nuget-package Expired
20.6 MB
sp4c-linux-x64 Expired
1.19 MB
sp4c-win-x64 Expired
1.09 MB