Skip to content
build

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

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 #740

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

build.yml

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