Skip to content
build

Reject SMT-LIB2 distinct applications to less than 2 arguments #741

Sign in to view logs

Reject SMT-LIB2 distinct applications to less than 2 arguments

Reject SMT-LIB2 distinct applications to less than 2 arguments #741

Triggered via pull request August 10, 2025 15:31
@GburyGbury
synchronize #243
distinct
Status Success
Total duration 4m 50s
Artifacts –

build.yml

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