Website Deployment for Runtime Verification
In this blog post, we will provide insights into the website deployment workflow developed during our collaboration with Runtime Verification. It focused on creating nix-based deployment workflow for small websites associated with the company's projects. They included Kontrol, developer tooling for formal verification of smart contracts written in solodity; ERCx, developer tooling for ERC token testing; and Firefly, developer tooling for Ethereum smart contract testing.
Article by Sergey Gulin
January 18th, 2024
36 min read