We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 6aa1a88 commit 0c74d6cCopy full SHA for 0c74d6c
.github/workflows/generate-logos.yml
@@ -17,3 +17,7 @@ jobs:
17
with:
18
files: rocq-id/
19
dest: rocq-logos.zip
20
+ - uses: actions/[email protected]
21
+ with:
22
+ name: rocq-logos
23
+ path: ${{ github.workspace }}/rocq-id/rocq-logos.zip
0 commit comments