Skip to content
Pull Request Labeler

fix: rectify merge function for vex and incorporate it into merge #1217

Sign in to view logs

fix: rectify merge function for vex and incorporate it into merge

fix: rectify merge function for vex and incorporate it into merge #1217

Triggered via pull request February 5, 2025 20:17
@CBeck-96CBeck-96
synchronize #356
Status Success
Total duration 14s
Artifacts –

pr-labeler.yml

on: pull_request_target
triage
4s
triage
Fit to window
Zoom out
Zoom in