Done migration to aws s3

kframework / k-legacy

The K tools (deprecated, see README)

http://kframework.org

Other

146 stars 61 forks source link

Closed shd101wyy closed 6 years ago

shd101wyy commented 6 years ago

Change the endpoint to aws s3.

kframework-bot commented 6 years ago

Can one of the admins verify this patch?

ehildenb commented 6 years ago

whitelist

daejunpark commented 6 years ago

Jenkins: test this please