Skip to content

PullReps: merge local main, instead of remote main #199

PullReps: merge local main, instead of remote main

PullReps: merge local main, instead of remote main #199

Triggered via push April 3, 2024 17:41
Status Success
Total duration 4m 38s
Artifacts

on commit.yaml

on: push
Fit to window
Zoom out
Zoom in