Back to pull request #1851

chore: release v3 #6116

Sign in to view logs

Triggered via pull request December 5, 2023 09:39

derberg

synchronize #1851

Status Success

Total duration 10s

Artifacts –

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

automerge-for-humans-remove-ready-to-merge-label-on-edit.yml

on: pull_request_target

remove-ready-label