Trigger build

This commit is contained in:
Dominik Werder committed 2023-09-06 11:34:20 +02:00
1 parent 4b0a81ef3e
commit c85f0ea0f5
1 file changed
-1
-1
View File
@@ -50,7 +50,6 @@ jobs:
- run: cargo --version
- run: python --version
- run: python -c 'import json; print(json)'
- run: false
- run: mkdir /build
# - run: "echo Flags: ${{ github.event.inputs.flags }}"
# - run: echo $HOME