search

mit-plv / coqutil

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

Try naming the jobs in coq.yml #53

Closed JasonGross closed 2 years ago

JasonGross commented 2 years ago

Might help with https://github.com/mit-plv/coqutil/issues/52#issuecomment-1014012971

samuelgruetter commented 2 years ago

That naming looks great, thanks @JasonGross :+1: