Skip to content

Add public IDs for users #2698

Add public IDs for users

Add public IDs for users #2698

Triggered via pull request October 21, 2024 12:56
Status Success
Total duration 18s
Artifacts

auto_merge.yml

on: pull_request
auto-merge
7s
auto-merge
Fit to window
Zoom out
Zoom in

Annotations

1 warning
auto-merge
exiting early - expected PR by "dependabot[bot]", found "Floppy" instead