Presubmit

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

Sign in to view logs

Triggered via push November 3, 2023 00:47

Kerilk

atomics

Status Success

Total duration 20s

Artifacts –

presubmit.yml

on: push

Matrix: build-and-check

Matrix: dist-check

Matrix: distcheck