metacoq icon indicating copy to clipboard operation
metacoq copied to clipboard

Published 20 hours ago • verified publisher icon MetaCoq

Only run nix on push events and if the word is in the commit message

Open yforster opened this issue 1 year ago • 1 comments

yforster avatar Apr 20 '23 15:04 yforster

Is this for performance?

JasonGross avatar Apr 20 '23 17:04 JasonGross