Skip to content
Build matrix

Lean: disable 'enums' support in match_bv's use of bv_decide #66

Sign in to view logs

Lean: disable 'enums' support in match_bv's use of bv_decide

Lean: disable 'enums' support in match_bv's use of bv_decide #66

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-docker
7m 13s
build (4.08.1, ubuntu-latest)
10m 7s
build (5.2.1, ubuntu-latest)
10m 7s
build (5.2.1, macos-latest)
9m 15s
36m 42s