build Nix packages

basil: add shell and docker for tools #597

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
update-check	1m 10s
build (aslp)	28s
build (bap-aslp)	29s
build (bap-primus)	23s
build (basil)	23s
build (retdec-uq-pac)	20s
build (asl-translator)	22s
build (gtirb-semantics)	30s
build (ddisasm)	25s
build (retdec5)	23s
build (remill)	20s
build (alive2-aslp)	21s
build (alive2-regehr)	24s
build (planter)	1m 25s
build (aslp_web)	26s
build (godbolt)	23s
result	1s
push	0s
	8m 13s