diff options
| author | Amir M. Saeid <amir@glgdgt.com> | 2026-02-14 19:42:49 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2026-02-14 19:42:49 +0000 |
| commit | 64e4b269c53faa70551e41c6d77ccf17ef96a68e (patch) | |
| tree | 9f1328c54f8b39ba3c29bc07426fa5a8a169249c /.github | |
| parent | 00925aa276bf4215bdf1ad11651fa4084e6bc676 (diff) | |
| parent | 671fc998f1fdfe0543cba86b8c1d541ce8578f49 (diff) | |
Merge pull request #1 from codiff/improve-docs
Improve build workflows
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/ci.yml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index e29033a..5c6c0b2 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -83,11 +83,11 @@ jobs: - name: Make target directories if: github.event_name != 'pull_request' && (startsWith(github.ref, 'refs/tags/v') || github.ref == 'refs/heads/main') - run: mkdir -p core/.js/target core/.jvm/target project/target + run: mkdir -p core/.js/target core/.jvm/target fs2/.js/target fs2/.jvm/target project/target - name: Compress target directories if: github.event_name != 'pull_request' && (startsWith(github.ref, 'refs/tags/v') || github.ref == 'refs/heads/main') - run: tar cf targets.tar core/.js/target core/.jvm/target project/target + run: tar cf targets.tar core/.js/target core/.jvm/target fs2/.js/target fs2/.jvm/target project/target - name: Upload target directories if: github.event_name != 'pull_request' && (startsWith(github.ref, 'refs/tags/v') || github.ref == 'refs/heads/main') |