Skip to content

f

f #6

Workflow file for this run

name: Develop CI
on:
push:
branches: [ "develop" ]
pull_request:
branches: [ "develop" ]
jobs:
tests:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
# GutHub environment claims it's user is root. Doesn't look so.
# Use of 'sudo' and some tweaks are necessary.
- name: Prepare environment
run: sudo ./prepare_debian_environment.sh && sudo chmod o+r "$(readlink -f /boot/vmlinuz)" && sudo chmod 0666 /dev/kvm && sudo rustup install 1.89.0
- name: Show environment
run: cargo --version && rustup --version
- name: Run tests
run: make test