diff options
| author | ruki <[email protected]> | 2024-08-23 23:03:15 +0800 |
|---|---|---|
| committer | ruki <[email protected]> | 2024-08-23 23:03:15 +0800 |
| commit | 3b013f036b7e7bc449d635992bb7b7e24c62b0c2 (patch) | |
| tree | 68e8db8e3b67e0e63718c217cb5983d7b9a456a6 | |
| parent | 87c9de55373a5d4aed385162f1ec6152068c1f2f (diff) | |
disable cosmocc
| -rw-r--r-- | .github/workflows/cosmocc.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/cosmocc.yml b/.github/workflows/cosmocc.yml index 305cec611..6a2bb9b4b 100644 --- a/.github/workflows/cosmocc.yml +++ b/.github/workflows/cosmocc.yml @@ -37,7 +37,7 @@ jobs: - name: Build run: | cd core - xmake f -p linux --cosmocc=y --embed=y -y -cvD + xmake f --embed=y -y -cvD xmake -v cd .. |