Skip to content

refactor: reorder Triple to program-first #27666

refactor: reorder Triple to program-first

refactor: reorder Triple to program-first #27666

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

copyright-header.yml

on: pull_request
check-lean-files
53s
check-lean-files
Fit to window
Zoom out
Zoom in