Skip to content

Use text (instead of integer) to represent special variable in SAT2NAESATInfo's JSON encoding #542

Use text (instead of integer) to represent special variable in SAT2NAESATInfo's JSON encoding

Use text (instead of integer) to represent special variable in SAT2NAESATInfo's JSON encoding #542

Triggered via pull request December 5, 2024 09:55
Status Success
Total duration 15m 42s
Artifacts 5

build.yaml

on: pull_request
Matrix: build
github-release
0s
github-release
Fit to window
Zoom out
Zoom in

Annotations

116 warnings

Artifacts

Produced during runtime
Name Size
binary-packages-linux-x86_64 Expired
26.1 MB
binary-packages-macos-aarch64 Expired
74.9 MB
binary-packages-macos-x86_64 Expired
7.15 MB
binary-packages-win32 Expired
29.9 MB
binary-packages-win64 Expired
21 MB