Skip to content

chore(upgrade): remove extra gov deps #3317

chore(upgrade): remove extra gov deps

chore(upgrade): remove extra gov deps #3317

Triggered via pull request October 31, 2023 09:37
@tac0turtletac0turtle
ready_for_review #18316
Status Success
Total duration 8m 46s
Artifacts

pr-reviews.yml

on: pull_request_target
Request reviews on opened PRs
5s
Request reviews on opened PRs
Fit to window
Zoom out
Zoom in