Skip to content

Github CI: split header-dump as a separate action - #557

Closed
chqrlie wants to merge 1 commit into
c2lang:masterfrom
chqrlie:header-dump
Closed

Github CI: split header-dump as a separate action#557
chqrlie wants to merge 1 commit into
c2lang:masterfrom
chqrlie:header-dump

Github CI: split header-dump as a separate action

92412f7
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
freebsd
succeeded Aug 4, 2026 in 2m 5s