From 851b9fd9ee275cadb4d94c82fabd96897beb5886 Mon Sep 17 00:00:00 2001 From: Erik Martin-Dorel Date: Sun, 14 Jul 2024 23:05:15 +0200 Subject: [PATCH] fix: Use actions/checkout@v4 --- .github/workflows/coq-demo.yml | 54 +++++++++++++++---------------- .github/workflows/gha-rt.yml | 10 +++--- .github/workflows/python-demo.yml | 10 +++--- .github/workflows/reviewdog.yml | 2 +- 4 files changed, 38 insertions(+), 38 deletions(-) diff --git a/.github/workflows/coq-demo.yml b/.github/workflows/coq-demo.yml index 0b5b36c..8537005 100644 --- a/.github/workflows/coq-demo.yml +++ b/.github/workflows/coq-demo.yml @@ -34,17 +34,17 @@ jobs: ################################################################ # Begin GHA_TEST_ENV # You should remove this GHA_TEST_ENV block # # if you copy this demo workflow elsewhere! - - uses: actions/checkout@v3 + - uses: actions/checkout@v4 with: repository: 'erikmd/docker-coq-github-action-demo' ref: 'master' - - uses: actions/checkout@v3 + - uses: actions/checkout@v4 with: path: 'docker-coq-action' - uses: './docker-coq-action' # End GHA_TEST_ENV ################## - # - uses: actions/checkout@v2 + # - uses: actions/checkout@v4 # - uses: coq-community/docker-coq-action@v1 with: opam_file: 'coq-demo.opam' @@ -66,17 +66,17 @@ jobs: ################################################################ # Begin GHA_TEST_ENV # You should remove this GHA_TEST_ENV block # # if you copy this demo workflow elsewhere! - - uses: actions/checkout@v3 + - uses: actions/checkout@v4 with: repository: 'erikmd/docker-coq-github-action-demo' ref: 'master' - - uses: actions/checkout@v3 + - uses: actions/checkout@v4 with: path: 'docker-coq-action' - uses: './docker-coq-action' # End GHA_TEST_ENV ################## - # - uses: actions/checkout@v3 + # - uses: actions/checkout@v4 # - uses: coq-community/docker-coq-action@v1 with: opam_file: 'coq-demo.opam' @@ -99,17 +99,17 @@ jobs: ################################################################ # Begin GHA_TEST_ENV # You should remove this GHA_TEST_ENV block # # if you copy this demo workflow elsewhere! - - uses: actions/checkout@v3 + - uses: actions/checkout@v4 with: repository: 'erikmd/docker-coq-github-action-demo' ref: 'master' - - uses: actions/checkout@v3 + - uses: actions/checkout@v4 with: path: 'docker-coq-action' - uses: './docker-coq-action' # End GHA_TEST_ENV ################## - # - uses: actions/checkout@v3 + # - uses: actions/checkout@v4 # - uses: coq-community/docker-coq-action@v1 with: # As the install/script/uninstall fields are overridden, @@ -156,17 +156,17 @@ jobs: ################################################################ # Begin GHA_TEST_ENV # You should remove this GHA_TEST_ENV block # # if you copy this demo workflow elsewhere! - - uses: actions/checkout@v3 + - uses: actions/checkout@v4 with: repository: 'erikmd/docker-coq-github-action-demo' ref: 'master' - - uses: actions/checkout@v3 + - uses: actions/checkout@v4 with: path: 'docker-coq-action' - uses: './docker-coq-action' # End GHA_TEST_ENV ################## - # - uses: actions/checkout@v3 + # - uses: actions/checkout@v4 # - uses: coq-community/docker-coq-action@v1 with: custom_image: ${{ matrix.image }} @@ -213,17 +213,17 @@ jobs: ################################################################ # Begin GHA_TEST_ENV # You should remove this GHA_TEST_ENV block # # if you copy this demo workflow elsewhere! - - uses: actions/checkout@v3 + - uses: actions/checkout@v4 with: repository: 'erikmd/docker-coq-github-action-demo' ref: 'master' - - uses: actions/checkout@v3 + - uses: actions/checkout@v4 with: path: 'docker-coq-action' - uses: './docker-coq-action' # End GHA_TEST_ENV ################## - # - uses: actions/checkout@v3 + # - uses: actions/checkout@v4 # - uses: coq-community/docker-coq-action@v1 with: opam_file: 'coq-demo.opam' @@ -254,17 +254,17 @@ jobs: ################################################################ # Begin GHA_TEST_ENV # You should remove this GHA_TEST_ENV block # # if you copy this demo workflow elsewhere! - - uses: actions/checkout@v3 + - uses: actions/checkout@v4 with: repository: 'erikmd/docker-coq-github-action-demo' ref: 'master' - - uses: actions/checkout@v3 + - uses: actions/checkout@v4 with: path: 'docker-coq-action' - uses: './docker-coq-action' # End GHA_TEST_ENV ################## - # - uses: actions/checkout@v3 + # - uses: actions/checkout@v4 # - uses: coq-community/docker-coq-action@v1 with: opam_file: 'coq-depexts-test.opam' @@ -287,17 +287,17 @@ jobs: ################################################################ # Begin GHA_TEST_ENV # You should remove this GHA_TEST_ENV block # # if you copy this demo workflow elsewhere! - - uses: actions/checkout@v3 + - uses: actions/checkout@v4 with: repository: 'erikmd/docker-coq-github-action-demo' ref: 'master' - - uses: actions/checkout@v3 + - uses: actions/checkout@v4 with: path: 'docker-coq-action' - uses: './docker-coq-action' # End GHA_TEST_ENV ################## - # - uses: actions/checkout@v3 + # - uses: actions/checkout@v4 # - uses: coq-community/docker-coq-action@v1 with: opam_file: 'coq-demo.opam' @@ -331,17 +331,17 @@ jobs: ################################################################ # Begin GHA_TEST_ENV # You should remove this GHA_TEST_ENV block # # if you copy this demo workflow elsewhere! - - uses: actions/checkout@v3 + - uses: actions/checkout@v4 with: repository: 'erikmd/docker-coq-github-action-demo' ref: 'master' - - uses: actions/checkout@v3 + - uses: actions/checkout@v4 with: path: 'docker-coq-action' - uses: './docker-coq-action' # End GHA_TEST_ENV ################## - # - uses: actions/checkout@v3 + # - uses: actions/checkout@v4 # - uses: coq-community/docker-coq-action@v1 with: opam_file: 'coq-demo.opam' @@ -390,17 +390,17 @@ jobs: ################################################################ # Begin GHA_TEST_ENV # You should remove this GHA_TEST_ENV block # # if you copy this demo workflow elsewhere! - - uses: actions/checkout@v3 + - uses: actions/checkout@v4 with: repository: 'erikmd/docker-coq-github-action-demo' ref: 'master' - - uses: actions/checkout@v3 + - uses: actions/checkout@v4 with: path: 'docker-coq-action' - uses: './docker-coq-action' # End GHA_TEST_ENV ################## - # - uses: actions/checkout@v3 + # - uses: actions/checkout@v4 # - uses: coq-community/docker-coq-action@v1 id: docker-coq-action env: diff --git a/.github/workflows/gha-rt.yml b/.github/workflows/gha-rt.yml index fb36a8d..8f244f3 100644 --- a/.github/workflows/gha-rt.yml +++ b/.github/workflows/gha-rt.yml @@ -17,11 +17,11 @@ jobs: runs-on: ubuntu-latest steps: # BEGIN GHA_TEST_ENV - - uses: actions/checkout@v2 + - uses: actions/checkout@v4 with: repository: 'erikmd/docker-coq-github-action-demo' ref: 'master' - - uses: actions/checkout@v2 + - uses: actions/checkout@v4 with: path: 'docker-coq-action' - uses: './docker-coq-action' @@ -42,13 +42,13 @@ jobs: ################################################################ # Begin GHA_TEST_ENV # You should remove this GHA_TEST_ENV block # # if you copy this demo workflow elsewhere! - - uses: actions/checkout@v3 + - uses: actions/checkout@v4 with: path: 'docker-coq-action' - uses: './docker-coq-action' # End GHA_TEST_ENV ################## - # - uses: actions/checkout@v3 + # - uses: actions/checkout@v4 # - uses: coq-community/docker-coq-action@v1 name: Run docker-coq-action, SHOULD FAIL continue-on-error: true @@ -62,7 +62,7 @@ jobs: docker tag ubuntu:latest mock-image - uses: './docker-coq-action' ################## - # - uses: actions/checkout@v3 + # - uses: actions/checkout@v4 # - uses: coq-community/docker-coq-action@v1 name: Run docker-coq-action, SHOULD SUCCEED with: diff --git a/.github/workflows/python-demo.yml b/.github/workflows/python-demo.yml index 18d0cb7..694ba2a 100644 --- a/.github/workflows/python-demo.yml +++ b/.github/workflows/python-demo.yml @@ -29,17 +29,17 @@ jobs: ################################################################ # Begin GHA_TEST_ENV # You should remove this GHA_TEST_ENV block # # if you copy this demo workflow elsewhere! - - uses: actions/checkout@v2 + - uses: actions/checkout@v4 with: repository: 'erikmd/poc-github-ci' ref: 'master' - - uses: actions/checkout@v2 + - uses: actions/checkout@v4 with: path: 'docker-coq-action' - uses: './docker-coq-action' # End GHA_TEST_ENV ################## - # - uses: actions/checkout@v2 + # - uses: actions/checkout@v4 # - uses: coq-community/docker-coq-action@v1 with: custom_image: 'python:3' @@ -69,13 +69,13 @@ jobs: ################################################################ # Begin GHA_TEST_ENV # You should remove this GHA_TEST_ENV block # # if you copy this demo workflow elsewhere! - - uses: actions/checkout@v2 + - uses: actions/checkout@v4 with: path: 'docker-coq-action' - uses: './docker-coq-action' # End GHA_TEST_ENV ################## - # - uses: actions/checkout@v2 + # - uses: actions/checkout@v4 # - uses: coq-community/docker-coq-action@v1 with: entrypoint: /bin/sh diff --git a/.github/workflows/reviewdog.yml b/.github/workflows/reviewdog.yml index 13849a1..d638577 100644 --- a/.github/workflows/reviewdog.yml +++ b/.github/workflows/reviewdog.yml @@ -12,7 +12,7 @@ jobs: name: runner / shellcheck runs-on: ubuntu-latest steps: - - uses: actions/checkout@v2 + - uses: actions/checkout@v4 - name: shellcheck uses: reviewdog/action-shellcheck@v1