Skip to content

Change SAT2KSATInfo to be synonym of TseitinInfo #506

Change SAT2KSATInfo to be synonym of TseitinInfo

Change SAT2KSATInfo to be synonym of TseitinInfo #506

Triggered via pull request November 17, 2024 11:38
Status Success
Total duration 14m 34s
Artifacts 5

build.yaml

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

Annotations

110 warnings

Artifacts

Produced during runtime
Name Size
binary-packages-linux-x86_64 Expired
20.1 MB
binary-packages-macos-aarch64 Expired
66.1 MB
binary-packages-macos-x86_64 Expired
7.13 MB
binary-packages-win32 Expired
28.6 MB
binary-packages-win64 Expired
18.8 MB