Blog: Website deployment
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