Skip to content

Merge pull request #8101 from kenjis/add-name-to-workflows #115

Merge pull request #8101 from kenjis/add-name-to-workflows

Merge pull request #8101 from kenjis/add-name-to-workflows #115

Triggered via push October 27, 2023 03:12
Status Success
Total duration 15s
Artifacts
Check Conflicts
6s
Check Conflicts
Fit to window
Zoom out
Zoom in