Skip to content
PR-Title

chore: bump versions of GitHub actions #9122

Sign in to view logs

chore: bump versions of GitHub actions

chore: bump versions of GitHub actions #9122

Triggered via pull request February 18, 2025 09:30
@jnussbaumjnussbaum
synchronize #1433
wip/bump-actions
Status Success
Total duration 12s
Artifacts –

check-pr-title.yml

on: pull_request
Check PR Title
3s
Check PR Title
Fit to window
Zoom out
Zoom in