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

Open

yforster wants to merge 1 commit intoMetaCoq:coq-8.16from yforster:almost-always-disable-nix

+7-14

Commits on Apr 20, 2023

only run n i x on push events and if the word is in the commit message
yforster
committed