name: CI
on: push

jobs:
  build:qemu-lagarto-ox:
    runs-on: native
    steps:
      - uses: https://gitea.com/ScMi1/checkout@v1.4
      - run: nix develop -L .#qemu-lagarto-ox --command ./boot.sh bench2