bot

Bump dev deps #760

Sign in to view logs

Summary
Jobs
- merge
Run details
- Usage
- Workflow file

Triggered via pull request October 23, 2023 08:28

jacogr

labeled #5743

jg-bump-dev-deps-all-2

Status Success

Total duration 17s

Artifacts –

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

auto-merge.yml

on: pull_request