Use K Dockerhub images for CI

runtimeverification / polkadot-verification

Verification of Polkadot WASM code

Other

9 stars 6 forks source link

Closed ehildenb closed 4 years ago

ehildenb commented 4 years ago

This is blocked on #98

ehildenb commented 4 years ago

@FlorianFranzen if you want to check that you can use this docker image to build and run the tests on this project successfully, that would be good.