Skip to content
Rocq

[CN-Exec] Do not inject synthesized terms #24

Sign in to view logs

[CN-Exec] Do not inject synthesized terms

[CN-Exec] Do not inject synthesized terms #24

Triggered via pull request April 26, 2025 17:47
@ZippeyKeys12ZippeyKeys12
opened #108
ZippeyKeys12:gus/prefixops
Status Success
Total duration 21m 3s
Artifacts –

rocq.yml

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