Skip to content

OIDC in push workflow#192

Merged
armandorod2000 merged 6 commits into
masterfrom
OIDC-in-push-workflow
May 26, 2026
Merged

OIDC in push workflow#192
armandorod2000 merged 6 commits into
masterfrom
OIDC-in-push-workflow

Conversation

@armandorod2000

Copy link
Copy Markdown
Member

No description provided.

@armandorod2000 armandorod2000 self-assigned this May 26, 2026
@armandorod2000 armandorod2000 added the enhancement New feature or request label May 26, 2026
@armandorod2000 armandorod2000 requested a review from kistll May 26, 2026 13:38
kistll
kistll previously approved these changes May 26, 2026
@armandorod2000 armandorod2000 merged commit b6b86d2 into master May 26, 2026
4 checks passed
@armandorod2000 armandorod2000 deleted the OIDC-in-push-workflow branch May 26, 2026 14:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants