Skip to content
Coq

Make whole sepapps canceling work when not all entries are evars #1258

Sign in to view logs

Make whole sepapps canceling work when not all entries are evars

Make whole sepapps canceling work when not all entries are evars #1258

Triggered via push January 5, 2024 08:33
@samuelgruettersamuelgruetter
pushed 63676e0
master
Status Success
Total duration 1h 22m 53s
Artifacts –

coq.yml

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