Skip to content

chore: renaming GovSquareSizeUpperBound #2263

chore: renaming GovSquareSizeUpperBound

chore: renaming GovSquareSizeUpperBound #2263

Triggered via pull request July 26, 2023 17:06
Status Success
Total duration 14s
Artifacts

housekeeping.yml

on: pull_request_target
PR Auto Assignment  /  labels
0s
PR Auto Assignment / labels
PR Auto Assignment  /  projects
0s
PR Auto Assignment / projects
PR Auto Assignment  /  auto-request-review
3s
PR Auto Assignment / auto-request-review
Fit to window
Zoom out
Zoom in