Skip to content
This repository has been archived by the owner on May 6, 2020. It is now read-only.

CI: Do not build, but do update, repos when pulling them #888

Closed
wants to merge 1 commit into from

CI: Do not build, but do update, repos when pulling them

8fd35d7
Select commit
Loading
Failed to load commit list.
Closed

CI: Do not build, but do update, repos when pulling them #888

CI: Do not build, but do update, repos when pulling them
8fd35d7
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs