Skip to content
CI (Coq)

Tauto.intuition_solver has a sane default, #400

Sign in to view logs

Tauto.intuition_solver has a sane default,

Tauto.intuition_solver has a sane default, #400

Triggered via push May 12, 2024 16:26
@samuelgruettersamuelgruetter
pushed 7d67a24
master
Status Success
Total duration 2m 4s
Artifacts –

coq.yml

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