Skip to content
Rocq

[CN-Exec] Do not inject synthesized terms (#84) #25

Sign in to view logs

[CN-Exec] Do not inject synthesized terms (#84)

[CN-Exec] Do not inject synthesized terms (#84) #25

Triggered via push April 26, 2025 18:11
@ZippeyKeys12ZippeyKeys12
pushed c67c26d
main
Status Success
Total duration 21m 3s
Artifacts –

rocq.yml

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