Add CI workflow to verify UKL build and boot #3
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
name: "Test that UKL is still working" | |
on: | |
workflow_dispatch: | |
push: | |
pull_request: | |
jobs: | |
verify: | |
runs-on: "ubuntu-latest" | |
steps: | |
- name: Checkout | |
uses: actions/checkout@v4 | |
- name: Install dependencies | |
run: | | |
sudo apt install -y bc binutils bison dwarves flex gcc git gnupg2 gzip libelf-dev libncurses5-dev libssl-dev make openssl pahole perl-base rsync tar xz-utils | |
sudo apt install -y docker automake autoconf qemu | |
- name: Build | |
run: | | |
autoreconf -i | |
./configure --with-program=redis | |
make -j`nproc` | |
timeout 5m make boot | |
if [ "$?" == "124" ]; | |
exit 0 | |
fi | |
exit 1 | |