diff --git a/.github/workflows/manual.yml b/.github/workflows/manual.yml new file mode 100644 index 000000000..6ccf39ba8 --- /dev/null +++ b/.github/workflows/manual.yml @@ -0,0 +1,13 @@ +name: 'Manual workflow' +on: 'workflow_dispatch' +jobs: + mll: + runs-on: 'ubuntu-latest' + steps: + - name: 'Install Prerequisites' + run: | + sudo apt install wget make gawk gcc bc bison flex xorriso libelf-dev libssl-dev + - name: 'Build MLL' + run: | + cd src + ./build_minimal_linux_live.sh