Nix and release

Update hevm to support dynamic argument inputs in symbolic mode #1101

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build Linux (aarch64) binary	7m 21s
Build macOS (aarch64) binary	10m 4s
Build Linux (x86_64) binary	7m 24s
Build macOS (x86_64) binary	16m 33s
Create release	0s
	41m 22s