Skip to content
CI

Add GitHub Actions workflow to delete branch after PR merge #39342

Sign in to view logs

Add GitHub Actions workflow to delete branch after PR merge

Add GitHub Actions workflow to delete branch after PR merge #39342

Triggered via pull request January 9, 2025 20:34
@Angelk90Angelk90
opened #22917
Angelk90:delete-branch-after-pr-merge
Status Success
Total duration 20m 3s
Billable time 11m
Artifacts –

ci.yml

on: pull_request
check_docs_only
21s
check_docs_only
Check Postgres and Protobuf migrations, mergability
12s
Check Postgres and Protobuf migrations, mergability
Check formatting and spelling
24s
Check formatting and spelling
(Linux) Run Clippy and tests
14m 57s
(Linux) Run Clippy and tests
(macOS) Run Clippy and tests
9m 40s
(macOS) Run Clippy and tests
(Linux) Build Remote Server
2m 20s
(Linux) Build Remote Server
(Windows) Run Clippy and tests
10m 55s
(Windows) Run Clippy and tests
Create a Linux bundle
0s
Create a Linux bundle
Create arm64 Linux bundle
0s
Create arm64 Linux bundle
Create a macOS bundle
0s
Create a macOS bundle
Auto release preview
0s
Auto release preview
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
Check Postgres and Protobuf migrations, mergability
No github_token supplied, API requests will be subject to stricter rate limiting
check_docs_only
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636