Skip to content

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

Open
yforster wants to merge 1 commit into
MetaRocq:coq-8.16from
yforster:almost-always-disable-nix
Open

Only run nix on push events and if the word is in the commit message#950
yforster wants to merge 1 commit into
MetaRocq:coq-8.16from
yforster:almost-always-disable-nix

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

d426944
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs