Skip to content
CN-Coq

[CN-Exec] More general allocation #26

Sign in to view logs

[CN-Exec] More general allocation

[CN-Exec] More general allocation #26

Triggered via pull request February 12, 2025 21:30
@ZippeyKeys12ZippeyKeys12
synchronize #863
ZippeyKeys12:cn-test-gen-fl
Status Success
Total duration 11m 34s
Artifacts –

ci-cn-coq.yml

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