Skip to content

Save SMT model as gzipped tar file #1025

Save SMT model as gzipped tar file

Save SMT model as gzipped tar file #1025

Triggered via push June 11, 2024 00:07
Status Success
Total duration 10m 3s
Artifacts 3

ci.yml

on: push
Matrix: build
Create NuGet package
3m 11s
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