Skip to content
Rocq

Fix module dep to be more accurate; not sure why the previous version… #67

Sign in to view logs

Fix module dep to be more accurate; not sure why the previous version…

Fix module dep to be more accurate; not sure why the previous version… #67

Triggered via push December 19, 2025 03:38
@pmundkurpmundkur
pushed 7ec288c
ext_stateen
Status Success
Total duration 10m 36s
Artifacts –

rocq.yml

on: push
build
10m 32s
build
Fit to window
Zoom out
Zoom in