Automatic PR Merger

add info about ask_before_filling #19165

Sign in to view logs

Summary
Jobs
- mergepal
Run details
- Usage
- Workflow file

Triggered via push September 22, 2023 09:30

amn41

docs-dm2-improve-tutorial

Status Success

Total duration 14s

Artifacts –

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

automatic-pr-update.yml

on: push