search

j-reher / bossdocker

Docker container to run BOSS in a development environment
GNU General Public License v3.0
0 stars 0 forks source link

Also use github container registry #93

Closed j-reher closed 2 years ago

j-reher commented 2 years ago

It's right there, why not use it? If I can easily add it to the push workflows, good. If not, I won't bother.