Skip to content
CN Proof

[CN-Exec] Extract and use CN-Test-Gen bounds analysis #162

Sign in to view logs

[CN-Exec] Extract and use CN-Test-Gen bounds analysis

[CN-Exec] Extract and use CN-Test-Gen bounds analysis #162

Triggered via pull request December 19, 2024 22:25
@ZippeyKeys12ZippeyKeys12
synchronize #773
ZippeyKeys12:cn-exec-each-generalization
Status Success
Total duration 14m 21s
Artifacts –

ci-cn.yml

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