Skip to content

Separate periodic CI from PR/push - #14

Merged
fmrico merged 1 commit into
EasyNavigation:rollingfrom
fmrico:fix_ci
Nov 15, 2025
Merged

Separate periodic CI from PR/push#14
fmrico merged 1 commit into
EasyNavigation:rollingfrom
fmrico:fix_ci

Separate periodic CI from PR/push

a9532a6
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning

The logs for this run have expired and are no longer available.