mit-plv / coqutil

Coq library for tactics, basic definitions, sets, maps
MIT License
42 stars 24 forks source link

Please stop emailing me when tested fails to update #61

Closed JasonGross closed 1 year ago

JasonGross commented 2 years ago

I get an email from GitHub actions every time the tested branch fails to update, probably because I'm the person who last edited the .yml file. @samuelgruetter could you edit it, so I stop getting these emails and they go to someone who can make better use of them instead?

andres-erbsen commented 1 year ago

I edited the file just now