👩💻 Join our community of thousands of amazing developers!
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....