speedup wf{3,4}_of_wf by factorizing raw matches to definitions #727

Sign in to view logs

Triggered via pull request July 29, 2024 21:47

JasonGross

synchronize #157

SkySkimmer:speed-wf-of-wf

Status Success

Total duration 7m 58s

Artifacts –

coq.yml

on: pull_request

Matrix: build