diff --git a/.github/workflows/build-latest.yml b/.github/workflows/build-latest.yml index cdaa7c3..bea5c75 100644 --- a/.github/workflows/build-latest.yml +++ b/.github/workflows/build-latest.yml @@ -27,7 +27,7 @@ jobs: name: Build Agda (latest) on ${{ matrix.os }} with Cabal runs-on: ${{ matrix.os }} steps: - - uses: actions/checkout@v4 + - uses: actions/checkout@v6 - name: Build Agda (latest) uses: ./ with: diff --git a/.github/workflows/build-legacy.yml b/.github/workflows/build-legacy.yml index 2edb06c..224acef 100644 --- a/.github/workflows/build-legacy.yml +++ b/.github/workflows/build-legacy.yml @@ -23,7 +23,7 @@ jobs: name: Build Agda (2.7.0.1) on ${{ matrix.os }} runs-on: ${{ matrix.os }} steps: - - uses: actions/checkout@v4 + - uses: actions/checkout@v6 - name: Build Agda (2.7.0.1) uses: ./ with: @@ -50,7 +50,7 @@ jobs: name: Build Agda (2.7.0) on ${{ matrix.os }} runs-on: ${{ matrix.os }} steps: - - uses: actions/checkout@v4 + - uses: actions/checkout@v6 - name: Build Agda (2.7.0) uses: ./ with: @@ -77,7 +77,7 @@ jobs: name: Build Agda (2.6.4.3) on ${{ matrix.os }} runs-on: ${{ matrix.os }} steps: - - uses: actions/checkout@v4 + - uses: actions/checkout@v6 - name: Build Agda (2.6.4.3) uses: ./ with: @@ -104,7 +104,7 @@ jobs: name: Build Agda (2.6.4.1) on ${{ matrix.os }} runs-on: ${{ matrix.os }} steps: - - uses: actions/checkout@v4 + - uses: actions/checkout@v6 - name: Build Agda (2.6.4.1) uses: ./ with: @@ -131,7 +131,7 @@ jobs: name: Build Agda (2.6.4) on ${{ matrix.os }} runs-on: ${{ matrix.os }} steps: - - uses: actions/checkout@v4 + - uses: actions/checkout@v6 - name: Build Agda (2.6.4) uses: ./ with: @@ -158,7 +158,7 @@ jobs: name: Build Agda (2.6.3) on ${{ matrix.os }} runs-on: ${{ matrix.os }} steps: - - uses: actions/checkout@v4 + - uses: actions/checkout@v6 - name: Build Agda (2.6.3) uses: ./ with: @@ -185,7 +185,7 @@ jobs: name: Build Agda (2.6.2.2) on ${{ matrix.os }} runs-on: ${{ matrix.os }} steps: - - uses: actions/checkout@v4 + - uses: actions/checkout@v6 - name: Build Agda (2.6.2.2) uses: ./ with: @@ -212,7 +212,7 @@ jobs: name: Build Agda (2.6.2.1) on ${{ matrix.os }} runs-on: ${{ matrix.os }} steps: - - uses: actions/checkout@v4 + - uses: actions/checkout@v6 - name: Build Agda (2.6.2.1) uses: ./ with: @@ -241,7 +241,7 @@ jobs: name: Build Agda (2.6.2) on ${{ matrix.os }} runs-on: ${{ matrix.os }} steps: - - uses: actions/checkout@v4 + - uses: actions/checkout@v6 - name: Build Agda (2.6.2) uses: ./ with: @@ -268,7 +268,7 @@ jobs: name: Build Agda (2.6.1.3) on ${{ matrix.os }} runs-on: ${{ matrix.os }} steps: - - uses: actions/checkout@v4 + - uses: actions/checkout@v6 - name: Build Agda (2.6.1.3) uses: ./ with: @@ -295,7 +295,7 @@ jobs: name: Build Agda (2.6.0.1) on ${{ matrix.os }} runs-on: ${{ matrix.os }} steps: - - uses: actions/checkout@v4 + - uses: actions/checkout@v6 - name: Build Agda (2.6.0.1) uses: ./ with: @@ -322,7 +322,7 @@ jobs: name: Build Agda (2.5.4.2) on ${{ matrix.os }} runs-on: ${{ matrix.os }} steps: - - uses: actions/checkout@v4 + - uses: actions/checkout@v6 - name: Build Agda (2.5.4.2) uses: ./ with: @@ -350,7 +350,7 @@ jobs: runs-on: ${{ matrix.os }} continue-on-error: true steps: - - uses: actions/checkout@v4 + - uses: actions/checkout@v6 - name: Build Agda (2.5.3) uses: ./ with: @@ -378,7 +378,7 @@ jobs: runs-on: ${{ matrix.os }} continue-on-error: true steps: - - uses: actions/checkout@v4 + - uses: actions/checkout@v6 - name: Build Agda (2.5.2) uses: ./ with: diff --git a/.github/workflows/build-nightly.yml b/.github/workflows/build-nightly.yml index 95bf657..82093c9 100644 --- a/.github/workflows/build-nightly.yml +++ b/.github/workflows/build-nightly.yml @@ -18,7 +18,7 @@ jobs: name: Build Agda (nightly) on ${{ matrix.os }} runs-on: ${{ matrix.os }} steps: - - uses: actions/checkout@v4 + - uses: actions/checkout@v6 - name: Build Agda (nightly) uses: ./ with: diff --git a/.github/workflows/codeql.yml b/.github/workflows/codeql.yml index b08348d..7c018df 100644 --- a/.github/workflows/codeql.yml +++ b/.github/workflows/codeql.yml @@ -25,7 +25,7 @@ jobs: steps: - name: Checkout repository - uses: actions/checkout@v4 + uses: actions/checkout@v6 - name: Initialize CodeQL uses: github/codeql-action/init@v3 diff --git a/.github/workflows/sample-basic.yml b/.github/workflows/sample-basic.yml index e4a2f3d..a8ab959 100644 --- a/.github/workflows/sample-basic.yml +++ b/.github/workflows/sample-basic.yml @@ -7,7 +7,7 @@ jobs: name: Check hello-world-dep.agda runs-on: ubuntu-latest # or macOS-latest, or windows-latest steps: - - uses: actions/checkout@v4 + - uses: actions/checkout@v6 # Setup Agda 2.6.2.2 with its recommended version of agda-stdlib: - uses: wenkokke/setup-agda@v2 diff --git a/.github/workflows/sample-complex.yml b/.github/workflows/sample-complex.yml index f3bf119..3ac1a37 100644 --- a/.github/workflows/sample-complex.yml +++ b/.github/workflows/sample-complex.yml @@ -12,7 +12,7 @@ jobs: runs-on: ${{ matrix.os }} steps: # Check out wenkokke/schmitty - - uses: actions/checkout@v4 + - uses: actions/checkout@v6 with: repository: wenkokke/schmitty diff --git a/.github/workflows/sample-matrix.yml b/.github/workflows/sample-matrix.yml index a9aa059..e616b41 100644 --- a/.github/workflows/sample-matrix.yml +++ b/.github/workflows/sample-matrix.yml @@ -16,7 +16,7 @@ jobs: runs-on: ${{ matrix.os }} steps: - - uses: actions/checkout@v4 + - uses: actions/checkout@v6 # Setup the versions of Agda specified in the matrix, # together with their recommended versions of agda-stdlib: diff --git a/.github/workflows/sample-minimal.yml b/.github/workflows/sample-minimal.yml index dbcce92..654a902 100644 --- a/.github/workflows/sample-minimal.yml +++ b/.github/workflows/sample-minimal.yml @@ -7,7 +7,7 @@ jobs: name: Check greet.agda runs-on: ubuntu-latest # or macOS-latest, or windows-latest steps: - - uses: actions/checkout@v4 + - uses: actions/checkout@v6 # Setup the latest version of Agda: - uses: wenkokke/setup-agda@v2 diff --git a/.github/workflows/setup-latest.yml b/.github/workflows/setup-latest.yml index 45b6dfb..811fcb2 100644 --- a/.github/workflows/setup-latest.yml +++ b/.github/workflows/setup-latest.yml @@ -19,7 +19,7 @@ jobs: name: Setup Agda (latest) on ${{ matrix.os }} runs-on: ${{ matrix.os }} steps: - - uses: actions/checkout@v4 + - uses: actions/checkout@v6 - name: Setup Agda uses: ./ with: diff --git a/.github/workflows/setup-legacy.yml b/.github/workflows/setup-legacy.yml index 40ea88d..4cef2ae 100644 --- a/.github/workflows/setup-legacy.yml +++ b/.github/workflows/setup-legacy.yml @@ -24,7 +24,7 @@ jobs: name: Setup Agda (${{ matrix.agda-version }}) on ${{ matrix.os }} runs-on: ${{ matrix.os }} steps: - - uses: actions/checkout@v4 + - uses: actions/checkout@v6 - name: Setup Agda (${{ matrix.agda-version }}) uses: ./ with: @@ -120,7 +120,7 @@ jobs: name: Setup Agda (${{ matrix.versions.agda }}) with agda-categories (${{ matrix.versions.agda-categories }}) runs-on: ubuntu-latest steps: - - uses: actions/checkout@v4 + - uses: actions/checkout@v6 - name: Setup Agda uses: ./ with: @@ -153,7 +153,7 @@ jobs: name: Setup Agda (${{ matrix.versions.agda }}) with agda-stdlib (${{ matrix.versions.agda-stdlib }}) runs-on: ubuntu-latest steps: - - uses: actions/checkout@v4 + - uses: actions/checkout@v6 - name: Setup Agda uses: ./ with: @@ -185,7 +185,7 @@ jobs: name: Setup Agda (${{ matrix.versions.agda }}) with access to /bin/echo runs-on: ubuntu-latest steps: - - uses: actions/checkout@v4 + - uses: actions/checkout@v6 - name: Setup Agda uses: ./ with: diff --git a/.github/workflows/setup-nightly.yml b/.github/workflows/setup-nightly.yml index 6ee311f..e4899c0 100644 --- a/.github/workflows/setup-nightly.yml +++ b/.github/workflows/setup-nightly.yml @@ -18,7 +18,7 @@ jobs: name: Setup Agda (nightly) on ${{ matrix.os }} runs-on: ${{ matrix.os }} steps: - - uses: actions/checkout@v4 + - uses: actions/checkout@v6 - name: Setup Agda uses: ./ with: