amd64-linux-main

Renamed src (this whole directory should now be auto-generated) #281

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
compile	34s
test	0s
dist-amd64	0s
bench1	0s
bench2	0s
proof-extracted	0s
	34s