search

pmodels / bolt

Official BOLT Repository
https://www.bolt-omp.org
Other
26 stars 13 forks source link

[CI] rename a build job of GitHub CI #74

Closed shintaro-iwasaki closed 3 years ago

shintaro-iwasaki commented 3 years ago

I have not changed the name of a build job by mistake. This patch fixes it.