• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1name: Checkout PyTorch
2
3description: Clean workspace and check out PyTorch
4
5inputs:
6  no-sudo:
7    description: If set to any value, don't use sudo to clean the workspace
8    required: false
9  submodules:
10    description: Works as stated in actions/checkout, but the default value is recursive
11    required: false
12    default: recursive
13  fetch-depth:
14    description: Works as stated in actions/checkout, but the default value is 0
15    required: false
16    default: "0"
17
18runs:
19  using: composite
20  steps:
21    - name: Clean workspace
22      shell: bash
23      env:
24        NO_SUDO: ${{ inputs.no-sudo }}
25      run: |
26        retry () {
27          $* || (sleep 1 && $*) || (sleep 2 && $*) || (sleep 4 && $*) || (sleep 8 && $*)
28        }
29        echo "${GITHUB_WORKSPACE}"
30        if [ -z "${NO_SUDO}" ]; then
31          retry sudo rm -rf "${GITHUB_WORKSPACE}"
32        else
33          retry rm -rf "${GITHUB_WORKSPACE}"
34        fi
35        mkdir "${GITHUB_WORKSPACE}"
36
37    - name: Checkout PyTorch
38      uses: malfet/checkout@silent-checkout
39      with:
40        ref: ${{ github.event_name == 'pull_request' && github.event.pull_request.head.sha || github.sha }}
41        # --depth=1 for speed, manually fetch history and other refs as necessary
42        fetch-depth: ${{ inputs.fetch-depth }}
43        submodules: ${{ inputs.submodules }}
44        quiet-checkout: true
45