Skip to content
pull-requests

refactor(proof)!: set tree depth = 1 when a group has 1 member #804

Sign in to view logs

refactor(proof)!: set tree depth = 1 when a group has 1 member

refactor(proof)!: set tree depth = 1 when a group has 1 member #804

Triggered via pull request July 19, 2024 13:06
@cedoorcedoor
opened #831
refactor/1-member-groups
Status Success
Total duration 2m 4s
Artifacts –

pull-requests.yml

on: pull_request
style
1m 43s
style
test
1m 54s
test
Fit to window
Zoom out
Zoom in