added Verdi.Verdi as canary for coqproject.sh
added Verdi.Verdi as canary for coqproject.sh

palmskog/verdi,DistributedComponents/verdi-aggregation,palmskog/verdi,DistributedComponents/verdi-aggregation,uwplse/verdi-raft,uwplse/verdi-raft,palmskog/verdi,uwplse/verdi-raft,uwplse/verdi-raft,DistributedComponents/verdi-aggregation,DistributedComponents/verdi-aggregation,uwplse/verdi-raft