diff options
author | Hennadii Stepanov <32963518+hebasto@users.noreply.github.com> | 2023-08-25 13:50:04 +0100 |
---|---|---|
committer | Hennadii Stepanov <32963518+hebasto@users.noreply.github.com> | 2023-08-25 13:50:04 +0100 |
commit | 6a4337298035683a8748ae446eae90e5c5f41d1b (patch) | |
tree | bf9e42d95933f3888b0849aa9d5a0324ebad4ba6 /ci | |
parent | c9273f68f6a17b669890b0b2d38dbcc8b3c39d7b (diff) |
ci: Run "Win64 native" job on GitHub Actions
Diffstat (limited to 'ci')
-rw-r--r-- | ci/test/wrapped-cl.bat | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/ci/test/wrapped-cl.bat b/ci/test/wrapped-cl.bat deleted file mode 100644 index fc2a604c58..0000000000 --- a/ci/test/wrapped-cl.bat +++ /dev/null @@ -1 +0,0 @@ -ccache cl %* |