language-servers/slint
1
0
Fork 0
mirror of https://github.com/slint-ui/slint.git synced 2025-12-23 09:19:32 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 1

crater: Fix winit backend path

Browse source
This commit is contained in:
Olivier Goffart 2023-06-21 14:16:48 +02:00
parent 77bdf4563a
commit 087122e80d
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
.github/workflows/crater.yaml vendored
View file

@ -64,7 +64,7 @@ jobs:
echo [patch.crates-io] >> ~/.cargo/config
echo slint = { path = \"$GITHUB_WORKSPACE/api/rs/slint\" } >> ~/.cargo/config
echo slint-build = { path = \"$GITHUB_WORKSPACE/api/rs/build\" } >> ~/.cargo/config
echo i-slint-backend-winit = { path = \"$GITHUB_WORKSPACE/api/rs/build\" } >> ~/.cargo/config
echo i-slint-backend-winit = { path = \"$GITHUB_WORKSPACE/internal/backends/winit\" } >> ~/.cargo/config
- name: Checkout the repo
run: |
cd $HOME