Tag main as tip

Automatically derive PR for github-mark-ready #4962

Sign in to view logs

Summary
Jobs
- tag_tip
Run details
- Usage
- Workflow file

Triggered via pull request February 19, 2025 16:42

dskloetd

closed #6457

kloet/auto-pr

Status Success

Total duration 12s

Artifacts –

tag.yaml

on: pull_request

Annotations

1 warning

The Ubuntu-20.04 brownout takes place from 2025-02-01. For more details, see https://github.com/actions/runner-images/issues/11101