Skip to content
Rocq

Address Prashanth's feedback part 2 #64

Sign in to view logs

Address Prashanth's feedback part 2

Address Prashanth's feedback part 2 #64

Triggered via push December 18, 2025 10:11
@nadime15nadime15
pushed 27d01ab
ext_stateen
Status Failure
Total duration 7m 39s
Artifacts –

rocq.yml

on: push
build
7m 35s
build
Fit to window
Zoom out
Zoom in

Annotations

1 error
build
Process completed with exit code 2.