Developer Productivity

Merge pull request #1740 from RenTrieu/enhancement/efi_shell_interfac… #4882

Sign in to view logs

Triggered via push August 18, 2025 20:23

github-merge-queue[bot]

main

Status Success

Total duration 10s

Artifacts –

developer_productivity.yml

on: push

Nix shell toolchain: `cargo xtask run` works