grub.cfg: drop `set pager=1` #1180

Sign in to view logs

Triggered via pull request October 20, 2023 14:04

jlebon

opened #548

jlebon:pr/grub-paging

Status Success

Total duration 1m 47s

Artifacts –

rust.yml

on: pull_request

Tests, stable toolchain

Tests (release), stable toolchain

Tests (release), minimum supported toolchain

Lints, pinned toolchain

Matrix: Tests, unstable toolchain