}

    @Override
    public RevCommit commit(String message) throws GitAPIException {
        return backingRepo.commit(message);
    }

    @Override
    public Ref checkout(String branchName) throws GitAPIException {
        return backingRepo.checkout(branchName);
    }

    @Override
    public Ref createBranch(String branchName) throws GitAPIException {
        return backingRepo.createBranch(branchName);
    }

    name: Go ${{ matrix.go-version }} on ${{ matrix.os }}
    runs-on: ${{ matrix.os }}
    strategy:
      matrix:
        go-version: [1.22.x]
        os: [ubuntu-latest]

    steps:
      - uses: actions/checkout@v4
      - uses: actions/setup-go@v5
        with:
          go-version: ${{ matrix.go-version }}
          check-latest: true
      - name: Start upgrade tests
        run: |

env GIT_COMMITTER_EMAIL=$GIT_AUTHOR_EMAIL

git checkout v2.5.5

at 2019-05-13T17:13:56-04:00
echo 'before v2.6.0-pre1'
cp stdout status
git commit -a -m 'before v2.6.0-pre1'

at 2019-05-13T17:13:56-04:00
echo 'at v2.6.0-pre1'
cp stdout status
git commit -a -m 'at v2.6.0-pre1'
git tag 'v2.6.0-pre1'

git checkout master

at 2019-05-13T16:11:25-04:00

on:
  push:
    branches:
    - master
    - "*.x"
  pull_request:
    branches:
    - master
    - "*.x"

jobs:
  build:

    runs-on: ubuntu-latest

    steps:
    - uses: actions/checkout@v2
    - name: Set up JDK 17
      uses: actions/setup-java@v2
      with:
        java-version: '17'
        distribution: 'temurin'
    - uses: actions/cache@v1
      with:
        path: ~/.m2/repository

For the following example let's assume we have a checkout in `\~/checkout-1` and `\~/checkout-2`.

WARNING: Like with the previous test, you should have no `remote` cache configured, and storing in the `local` cache should be enabled.

[listing]
----
$ rm -rf ~/.gradle/caches/build-cache-1 <1>
$ cd ~/checkout-1 <2>
$ ./gradlew clean --quiet <3>
$ ./gradlew assemble --build-cache <4>

name: Java CI with Maven

on:
  push:
    branches: [ master ]
  pull_request:
    branches: [ master ]

jobs:
  build:

    runs-on: ubuntu-latest

    steps:
    - uses: actions/checkout@v2
    - name: Set up JDK 11
      uses: actions/setup-java@v2
      with:
        java-version: '11'
        distribution: 'temurin'
    - name: Build with Maven

jobs:
  deploy-docs:
    runs-on: ubuntu-latest
    steps:
      - name: Dump GitHub context
        env:
          GITHUB_CONTEXT: ${{ toJson(github) }}
        run: echo "$GITHUB_CONTEXT"
      - uses: actions/checkout@v4
      - name: Clean site
        run: |
          rm -rf ./site
          mkdir ./site
      - uses: actions/download-artifact@v4
        with:
          path: ./site/
          pattern: docs-site-*

# Use of this source code is governed by a BSD-style
# license that can be found in the LICENSE file.

FROM coqorg/coq:8.13.2

RUN git clone https://github.com/mit-plv/fiat-crypto && cd fiat-crypto && \
    git checkout 23d2dbc4ab897d14bde4404f70cd6991635f9c01 && \
    git submodule update --init --recursive
RUN cd fiat-crypto && eval $(opam env) && make -j4 standalone-ocaml SKIP_BEDROCK2=1

name: reviewdog
on: [pull_request]
jobs:
  golangci-lint:
    name: runner / golangci-lint
    runs-on: ubuntu-latest
    steps:
      - name: Check out code into the Go module directory
        uses: actions/checkout@v4
      - name: golangci-lint
        uses: reviewdog/action-golangci-lint@v2

      - name: Setup reviewdog
        uses: reviewdog/action-setup@v1

      - name: gofumpt -s with reviewdog
        env:

    - "*.x"
  pull_request:
    branches:
    - master
    - "*.x"
  workflow_dispatch:

jobs:
  build:
    runs-on: ubuntu-latest
    timeout-minutes: 15
    steps:
    - uses: actions/checkout@v4
    - name: Set up JDK 17
      uses: actions/setup-java@v4
      with:
        java-version: '17'
        distribution: 'temurin'
    - uses: actions/cache@v4
      with:
        path: ~/.m2/repository