flip: the acceptance test at two strengths, and the tree shaped like … #1230
isaacbowenci.yml
on: push
Lean integrity
1m 6s
Reference integrity
6s
Annotations
1 error
|
Reference integrity
Process completed with exit code 1.
|