Skip to content

chore: Set git identity before committing changes #12

chore: Set git identity before committing changes

chore: Set git identity before committing changes #12

Triggered via push June 3, 2024 07:06
Status Failure
Total duration 36s
Artifacts
Update Standpoints
26s
Update Standpoints
Fit to window
Zoom out
Zoom in