Skip to content

chore: add names to github workflows #443

chore: add names to github workflows

chore: add names to github workflows #443

Triggered via pull request October 27, 2023 01:31
Status Success
Total duration 17s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

label-signing.yml

on: pull_request
Check Signed Commit
7s
Check Signed Commit
Fit to window
Zoom out
Zoom in