Skip to content
Coverage

fix ffi so that bdd_or is correct (#180) #257

Sign in to view logs

fix ffi so that bdd_or is correct (#180)

fix ffi so that bdd_or is correct (#180) #257

Triggered via push October 19, 2023 11:03
@SHoltzenSHoltzen
pushed 12a7a0e
main
Status Success
Total duration 3m 54s
Artifacts –

coverage.yml

on: push
coverage
3m 44s
coverage
Fit to window
Zoom out
Zoom in