diff options
143 files changed, 6939 insertions, 446 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index b8b8f2ec3c..9bc5f9777f 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -96,7 +96,7 @@ jobs: uses: actions/upload-artifact@v3 with: name: "ci@basic-gcc" - path: artifacts/ + path: artifacts.tar.gz |