diff --git a/meta.yml b/meta.yml index 0a400b1..82f0855 100644 --- a/meta.yml +++ b/meta.yml @@ -22,6 +22,7 @@ action_appendix: |2- - name: Upload Artifact uses: actions/upload-artifact@v4 with: + name: html-output path: public - name: Revert Coq user permissions # to avoid a warning at cleanup time