Skip to content

Set SMT 'Bool' interpretation as Bool by default #154

Set SMT 'Bool' interpretation as Bool by default

Set SMT 'Bool' interpretation as Bool by default #154

Triggered via push August 3, 2024 04:41
Status Skipped
Total duration 3s
Artifacts

build.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in