Check formatting

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

Sign in to view logs

Triggered via push May 9, 2025 05:10

opencompl_match_bv_enums

Status Success

Total duration 5m 27s

Artifacts –

formatting.yml

on: push

Matrix: build