Skip to content

[main] Run make generated-files - #9

Open
github-actions[bot] wants to merge 1 commit into
mainfrom
auto/update-generated-files-main
Open

[main] Run make generated-files#9
github-actions[bot] wants to merge 1 commit into
mainfrom
auto/update-generated-files-main

Run make generated-files

5d96f31
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs