Bump versions in matrix sample

wenkokke · Aug 21, 2024 · 1f3aa64 · 1f3aa64
1 parent 167dcf7
commit 1f3aa64
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 24 deletions.
diff --git a/.github/workflows/sample-matrix.yml b/.github/workflows/sample-matrix.yml
@@ -8,16 +8,7 @@ jobs:
     strategy:
       matrix:
         os: [ubuntu-latest, macOS-latest, windows-latest]
-        agda-version: ['2.6.2.2', '2.6.1.3', '2.6.0.1', '2.5.4.2']
-        exclude:
-          # Exclude older Agda versions on Windows,
-          # as they are unsupported by setup-agda:
-          - os: windows-latest
-            agda-version: '2.6.1.3'
-          - os: windows-latest
-            agda-version: '2.6.0.1'
-          - os: windows-latest
-            agda-version: '2.5.4.2'
+        agda-version: ['2.7.0', '2.6.4.3', '2.6.3']
 
     runs-on: ${{ matrix.os }}
     steps:

diff --git a/README.md b/README.md
@@ -97,16 +97,7 @@ jobs:
     strategy:
       matrix:
         os: [ubuntu-latest, macOS-latest, windows-latest]
-        agda-version: ['2.6.2.2', '2.6.1.3', '2.6.0.1', '2.5.4.2']
-        exclude:
-          # Exclude older Agda versions on Windows,
-          # as they are unsupported by setup-agda:
-          - os: windows-latest
-            agda-version: '2.6.1.3'
-          - os: windows-latest
-            agda-version: '2.6.0.1'
-          - os: windows-latest
-            agda-version: '2.5.4.2'
+        agda-version: ['2.7.0', '2.6.4.3', '2.6.3']
 
     runs-on: ${{ matrix.os }}
     steps:

diff --git a/src/util/deps/cabal.ts b/src/util/deps/cabal.ts
@@ -26,7 +26,7 @@ cabal.getVerbosityFlag = (verbosity?: Verbosity): string => {
   const level =
     verbosity === undefined
       ? defaultVerbosity
-      : (verbosityToLevel?.[verbosity] ?? defaultVerbosity)
+      : verbosityToLevel?.[verbosity] ?? defaultVerbosity
   return `--verbose=${level}`
 }
 

diff --git a/src/util/types.ts b/src/util/types.ts
@@ -364,9 +364,7 @@ export function getInputs<ActionYmlInputs>(
   for (const [key, spec] of Object.entries<unknown>(actionYmlInputs)) {
     const defaultValue = (spec as { default?: string }).default
     result[key] =
-      defaultValue === undefined
-        ? getFlag(key)
-        : (getValue(key) ?? defaultValue)
+      defaultValue === undefined ? getFlag(key) : getValue(key) ?? defaultValue
   }
   return result as ActionInputsFor<ActionYmlInputs>
 }