Update loop.

Call each extra arg on its own.
2023-01-09 16:45:04 -08:00 · 2023-01-09 16:30:46 -08:00
1 changed files with 2 additions and 1 deletions
@@ -32,4 +32,5 @@ runs:
    - ${{ inputs.head }}
    - --fail
    - --no-update
-    - ${{ inputs.extra_args }}
+    - ${{arg in inputs.extra_args.split(' ')}}${{arg}}${{end}}
+      - ${{ arg }}
Author	SHA1	Message	Date
Ahrav Dutta	7798005fd5	Update loop.	2023-01-09 16:45:04 -08:00
Ahrav Dutta	32555f5e87	Call each extra arg on its own.	2023-01-09 16:30:46 -08:00