diff options
| author | robojumper <robojumper@gmail.com> | 2025-11-22 22:38:00 +0100 |
|---|---|---|
| committer | robojumper <robojumper@gmail.com> | 2025-11-22 22:38:54 +0100 |
| commit | d969f426ace0f6a230b03a26905e71e84fd80ff3 (patch) | |
| tree | 20ac29b9025bbd84e22f8112089bd99863011d42 /.github | |
| parent | 71713b520bf0179cbfd962928c326de5ec697db6 (diff) | |
Upgrade dtk-template
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/build.yml | 20 |
1 files changed, 19 insertions, 1 deletions
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index bebbd6c8..26023819 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -22,15 +22,33 @@ jobs: - name: Checkout uses: actions/checkout@v4 with: + fetch-depth: 0 submodules: recursive # Set Git config - name: Git config run: git config --global --add safe.directory "$GITHUB_WORKSPACE" + # Normalize file mod times + - name: Restore timestamps + run: | + uv run https://raw.githubusercontent.com/MestreLion/git-tools/refs/tags/v2022.12/git-restore-mtime \ + --merge --commit-time + # Copy the original files to the workspace - name: Prepare - run: cp -R /orig . + run: cp -a /orig . + + # Restore cached files + - name: Cache build + uses: actions/cache@v4 + with: + path: | + build + .ninja_deps + .ninja_log + key: ${{ runner.os }}-${{ matrix.version }}-${{ github.sha }} + restore-keys: ${{ runner.os }}-${{ matrix.version }}- # Build the project - name: Build |