Skip to content
Coq

Fix destruct loop in straightline (#372) #1171

Sign in to view logs

Fix destruct loop in straightline (#372)

Fix destruct loop in straightline (#372) #1171

Triggered via push September 9, 2023 11:59
@andres-erbsenandres-erbsen
pushed b36804f
master
Status Success
Total duration 1h 32m 6s
Artifacts –

coq.yml

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