Nix and release

Reworked symbolic execution #50

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build Linux (aarch64) binary	6m 40s
Build macOS (aarch64) binary	9m 43s
Build macOS (x86_64) binary	15m 41s
Build Linux (x86_64) binary	7m 1s
Create release	-1s
	39m 4s