Moves variable-time proving behind a feature gate #168
AaronFeickertci.yml
on: push
audit
13s
format
13s
lints
37s
check-stable
26s
check-nightly
27s
docs
21s
build
1m 5s
test
1m 51s