Skip to content

Record how long CI takes, so a change in it is visible - #838

Merged
Rafael-SOWNet merged 1 commit into
masterfrom
ci-timing
Aug 9, 2026
Merged

Record how long CI takes, so a change in it is visible#838
Rafael-SOWNet merged 1 commit into
masterfrom
ci-timing