CLA

Merge pull request #800 from pysmt/fix-btor-ci #376

Sign in to view logs

Triggered via push May 12, 2025 15:56

mikand

master

Status Success

Total duration 9s

Artifacts –

cla.yml

on: push

Checks that all committers are in CONTRIBUTORS