Skip to content
coverage

Handle some special cases of bitand in invariant and Interval, DefExc, and Congruences #423

Sign in to view logs

Handle some special cases of bitand in invariant and Interval, DefExc, and Congruences

Handle some special cases of bitand in invariant and Interval, DefExc, and Congruences #423

Triggered via pull request September 11, 2023 10:52
@michael-schwarzmichael-schwarz
synchronize #1154
issue_1153
Status Success
Total duration 19m 24s
Artifacts 1

coverage.yml

on: pull_request
Matrix: coverage
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
suite_result Expired
5.98 MB