Skip to content

Linux build dependencies: use distro names, not package managers #1952

Linux build dependencies: use distro names, not package managers

Linux build dependencies: use distro names, not package managers #1952

Triggered via pull request June 18, 2026 20:54
Status Success
Total duration 17s
Artifacts

lint.yml

on: pull_request
Fit to window
Zoom out
Zoom in