Skip to content
Build

[doc] Document the floating-point and bitvector primitives #463

Sign in to view logs

[doc] Document the floating-point and bitvector primitives

[doc] Document the floating-point and bitvector primitives #463

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Make package release
5m 15s
Make all
10m 8s
build (macos-latest, 4.10.1)
17m 34s
build (ubuntu-latest, 4.10.1)
7m 13s
40m 10s