Skip to content

Forbidden clauses are now given at configuration space creation. #596

Forbidden clauses are now given at configuration space creation.

Forbidden clauses are now given at configuration space creation. #596

Triggered via push November 3, 2023 00:47
Status Success
Total duration 20s
Artifacts

presubmit.yml

on: push
pre_job
7s
pre_job
Matrix: build-and-check
Matrix: dist-check
Matrix: distcheck
Fit to window
Zoom out
Zoom in