Explicitly check for THOT_OK when loading SMT model #107
ddaspitnuget.yml
on: push
Matrix: build_unix
Matrix: build_windows
Create NuGet package
0s
Annotations
1 error and 1 warning
|
Build on macos-10.15
The run was canceled by @ddaspit.
|
|
NuGet Package
The macOS-10.15 environment is deprecated, consider switching to macos-11(macos-latest), macos-12 instead. For more details see https://github.com/actions/virtual-environments/issues/5583
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
linux-x64
Expired
|
3.13 MB |
|
|
win-x64
Expired
|
1.13 MB |
|
|
win-x86
Expired
|
972 KB |
|