MiniSAT Backend Support · YoWASP/boolector@500d827

Triggered via pull request March 6, 2024 22:25

cr1901

synchronize #2

cr1901:minisat

Status Success

Total duration 1m 56s

Artifacts 2

package.yml

on: pull_request

Matrix: test-javascript

Produced during runtime

Name	Size
dist-npmjs Expired	379 KB
dist-pypi Expired	358 KB