search

GridTools / gtbench

Other
3 stars 7 forks source link

Fix CI in Forks #68

Closed fthaler closed 3 years ago

fthaler commented 4 years ago

Do not try to push to Docker in forked repositories.