Skip to content
This repository has been archived by the owner on Apr 4, 2023. It is now read-only.

chore: Per Florent's explanation, let's tag if can pull; else skip. This is just a performance enhancement to reuse unchanged layers when building che-theia-dev, not an indicator to SKIP the che-theia-dev build. #1216

Merged
merged 1 commit into from
Sep 13, 2021

chore: Per Florent's explanation, let's tag if can pull; else skip. T…

48e04bb
Select commit
Loading
Failed to load commit list.
Merged

Workflow runs completed with no jobs