Nix and release

Reworked symbolic execution #43

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build macOS (aarch64) binary	11m 5s
Build Linux (aarch64) binary	7m 19s
Build Linux (x86_64) binary	6m 28s
Build macOS (x86_64) binary	15m 6s
Create release	0s
	39m 58s