Skip to content

Pr refs pull 142 head#144

Closed
skulidropek wants to merge 6 commits into
ProverCoderAI:mainfrom
skulidropek:pr-refs-pull-142-head
Closed

Pr refs pull 142 head#144
skulidropek wants to merge 6 commits into
ProverCoderAI:mainfrom
skulidropek:pr-refs-pull-142-head

fix(state-repo): use main as default branch and set git identity

3aca85b
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning

The logs for this run have expired and are no longer available.