build: rename `debian/` as `ubuntu-ppa/` #3316

Sign in to view logs

Triggered via pull request September 15, 2024 04:17

synchronize #1313

build-rename-debian-ubuntu-ppa

Status Success

Total duration 3m 14s

Artifacts –

ci.yml

on: pull_request

Matrix: build-cross

Matrix: clippy

Matrix: sim-test

Matrix: test