CI

Add `exactly1` option for disjunctions and fix bugs #44

Sign in to view logs

Triggered via pull request October 28, 2023 13:17

hdavid16

synchronize #90

pulsipher:exactly1

Status Success

Total duration 15m 3s

Artifacts –

CI.yml

on: pull_request

Matrix: test