libexec/klab-report: use config.host

dapphub / klab

K framework proof explorer & smart contract specification format

GNU Affero General Public License v3.0

123 stars 36 forks source link

Closed asymmetric closed 4 years ago

asymmetric commented 4 years ago

Rather than hardcoded dapp.ci.

Also switches to HTTPS.

d-xo commented 4 years ago

is config.host set in config.json?

asymmetric commented 4 years ago

Yes, it's in the README too.

I actually think we should use HTTPS.

EDIT: switched to HTTPS.