Skip to content
CI (Coq, Alpine)

speedup wf{3,4}_of_wf by factorizing raw matches to definitions (#157) #72

Sign in to view logs

speedup wf{3,4}_of_wf by factorizing raw matches to definitions (#157)

speedup wf{3,4}_of_wf by factorizing raw matches to definitions (#157) #72

Triggered via push July 29, 2024 21:55
@JasonGrossJasonGross
pushed 19f344b
master
Status Success
Total duration 6m 14s
Artifacts –

coq-alpine.yml

on: push
Matrix: build
alpine-check-all
0s
alpine-check-all
Fit to window
Zoom out
Zoom in