Trigger build

This commit is contained in:
Dominik Werder
2023-09-06 11:10:45 +02:00
parent 92a99b538d
commit dab18abe11

View File

@@ -48,7 +48,9 @@ jobs:
- run: git --version
- run: rustc --version
- run: cargo --version
- run: yum install -y jq
- 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