Skip to content
CN Proof

increase maximum CN tuple arity, as needed by pgtable #173

Sign in to view logs

increase maximum CN tuple arity, as needed by pgtable

increase maximum CN tuple arity, as needed by pgtable #173

Triggered via pull request December 21, 2024 21:01
@cp526cp526
opened #782
smt-more-cn-tuples
Status Failure
Total duration 3m 6s
Artifacts –

ci-cn.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

1 error
build (4.14.1)
Process completed with exit code 1.