Only use Ubuntu 20.04 (Focal) builds for Ubuntu (#216)

wenkokke · Apr 9, 2024 · acae9e5 · acae9e5
1 parent df9dc87
commit acae9e5
Show file tree

Hide file tree

Showing 3 changed files with 132 additions and 192 deletions.
diff --git a/data/Agda.versions.yml b/data/Agda.versions.yml
@@ -33,9 +33,9 @@ nightly:
         - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.4.3-x64-ubuntu-20.04-ghc9.8.1-icu66.1.zip
           sha256: 0fb040d7aaf1b86ece7bb20ebf8e42b1b398067d3e39cca16511ba842abd8f44
           target: ubuntu-20.04
-        - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.4.3-x64-ubuntu-22.04-ghc9.8.1-icu70.1.zip
-          sha256: 22d4d7a2ca3af67e77c70f8717b2ea686ef29a62b43b25641e075dc7789d4202
-          target: ubuntu-22.04
+        # - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.4.3-x64-ubuntu-22.04-ghc9.8.1-icu70.1.zip
+        #   sha256: 22d4d7a2ca3af67e77c70f8717b2ea686ef29a62b43b25641e075dc7789d4202
+        #   target: ubuntu-22.04
     windows:
       x64:
         - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.4.3-x64-windows-2022-ghc9.8.1-icu74.2.zip
@@ -74,9 +74,9 @@ nightly:
         - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.4.1-x64-ubuntu-20.04-ghc9.4.7-icu66.1.zip
           sha256: 22adb4ee6be4ecafd7bc1efc91121944de18cc988e8098e8474f4c8bf67fb004
           target: ubuntu-20.04
-        - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.4.1-x64-ubuntu-22.04-ghc9.4.7-icu70.1.zip
-          sha256: bd6aca2275ec9947643f51fe30826714a451aadef681d83c70a48c4a36c31665
-          target: ubuntu-22.04
+        # - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.4.1-x64-ubuntu-22.04-ghc9.4.7-icu70.1.zip
+        #   sha256: bd6aca2275ec9947643f51fe30826714a451aadef681d83c70a48c4a36c31665
+        #   target: ubuntu-22.04
     windows:
       x64:
         - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.4.1-x64-windows-2022-ghc9.4.7-icu74.1.zip
@@ -112,9 +112,9 @@ nightly:
           target: macos-11
     linux:
       x64:
-        - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.4-x64-ubuntu-22.04-ghc9.6.3-icu70.1.zip
-          sha256: 0280ff4001f0f374f04bd5fbe66fde9efcba29c4daff44a9e6efec1513d39373
-          target: ubuntu-22.04
+        # - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.4-x64-ubuntu-22.04-ghc9.6.3-icu70.1.zip
+        #   sha256: 0280ff4001f0f374f04bd5fbe66fde9efcba29c4daff44a9e6efec1513d39373
+        #   target: ubuntu-22.04
         - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.4-x64-ubuntu-20.04-ghc9.6.3-icu66.1.zip
           sha256: 16b4bb129ea44c5c5bb84ac20016519af08c6e38999c9677052a8845c7b90e11
           target: ubuntu-20.04
@@ -153,9 +153,9 @@ nightly:
           target: macos-11
     linux:
       x64:
-        - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.3-x64-ubuntu-22.04-ghc9.4.4-icu70.1.zip
-          sha256: f55daf1e2623a5bb4155c5a7eff57ee465a8d87ed253625c870dc30e79972420
-          target: ubuntu-22.04
+        # - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.3-x64-ubuntu-22.04-ghc9.4.4-icu70.1.zip
+        #   sha256: f55daf1e2623a5bb4155c5a7eff57ee465a8d87ed253625c870dc30e79972420
+        #   target: ubuntu-22.04
         - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.3-x64-ubuntu-20.04-ghc9.4.4-icu66.1.zip
           sha256: 12d62d4783fb8daaa1a0630fbb68a412ad4c23dc52a33eef0eab6a514d291d08
           target: ubuntu-20.04
@@ -193,9 +193,9 @@ nightly:
         - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2.2-x64-ubuntu-20.04-ghc9.2.4-icu66.1.zip
           sha256: d15b2f41d1d9b6e95f75e388a66e1439610cb6d1cc5c90b3f136e79d020aa367
           target: ubuntu-20.04
-        - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2.2-x64-ubuntu-22.04-ghc9.2.4-icu70.1.zip
-          sha256: d49021a4dd6852648d64a8911be8e90b76c0adab92d14d54e018287b20712e72
-          target: ubuntu-22.04
+        # - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2.2-x64-ubuntu-22.04-ghc9.2.4-icu70.1.zip
+        #   sha256: d49021a4dd6852648d64a8911be8e90b76c0adab92d14d54e018287b20712e72
+        #   target: ubuntu-22.04
     windows:
       x64:
         - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2.2-x64-windows-2022-ghc9.2.4-icu72.1.zip
@@ -230,9 +230,9 @@ nightly:
         - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2.1-x64-ubuntu-20.04-ghc9.0.2-icu66.1.zip
           sha256: 9182e391336e2359b707deebf11a87b1a098979c053ddfd1468c3485bee064d6
           target: ubuntu-20.04
-        - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2.1-x64-ubuntu-22.04-ghc9.0.2-icu70.1.zip
-          sha256: a7d48d29f41a21efd683b04ae321112f7dc40944f8df29e8a76319e52941d7a8
-          target: ubuntu-22.04
+        # - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2.1-x64-ubuntu-22.04-ghc9.0.2-icu70.1.zip
+        #   sha256: a7d48d29f41a21efd683b04ae321112f7dc40944f8df29e8a76319e52941d7a8
+        #   target: ubuntu-22.04
     windows:
       x64:
         - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2.1-x64-windows-2022-ghc9.0.2-icu72.1.zip
@@ -267,9 +267,9 @@ nightly:
         - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2-x64-ubuntu-20.04-ghc9.0.2-icu66.1.zip
           sha256: 272c7f465eff8e4a4b3946415131d29977966f8543013d876b5d36ecea7f29af
           target: ubuntu-20.04
-        - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2-x64-ubuntu-22.04-ghc9.0.2-icu70.1.zip
-          sha256: ca014d2053274d8b8d69d25be4c6c75988a5e59794739420582a179227a95fa1
-          target: ubuntu-22.04
+        # - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2-x64-ubuntu-22.04-ghc9.0.2-icu70.1.zip
+        #   sha256: ca014d2053274d8b8d69d25be4c6c75988a5e59794739420582a179227a95fa1
+        #   target: ubuntu-22.04
     windows:
       x64:
         - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2-x64-windows-2022-ghc9.0.2-icu72.1.zip
@@ -304,9 +304,9 @@ nightly:
         - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.1.3-x64-ubuntu-20.04-ghc8.10.7-icu66.1.zip
           sha256: 7632e8a38ad01129e342c0b4b25160a20865566ab8b48422a6bd520120882001
           target: ubuntu-20.04
-        - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.1.3-x64-ubuntu-22.04-ghc8.10.7-icu70.1.zip
-          sha256: b52dacaa226f914d470edf517c4c172bd275ecbf4ec1315e0ed92758daae095a
-          target: ubuntu-22.04
+        # - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.1.3-x64-ubuntu-22.04-ghc8.10.7-icu70.1.zip
+        #   sha256: b52dacaa226f914d470edf517c4c172bd275ecbf4ec1315e0ed92758daae095a
+        #   target: ubuntu-22.04
     windows:
       x64: []
   compatibility:
@@ -336,9 +336,9 @@ nightly:
         - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.0.1-x64-ubuntu-20.04-ghc8.6.5-icu66.1.zip
           sha256: 4e248165fa319878468a77c1cb037101712e6ea08d21d611cc327fc220cda14c
           target: ubuntu-20.04
-        - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.0.1-x64-ubuntu-22.04-ghc8.6.5-icu70.1.zip
-          sha256: 8bb8524b95a08bb15f599ece371039d045b90d47ac8c1a44014af746dae7e3fb
-          target: ubuntu-22.04
+        # - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.0.1-x64-ubuntu-22.04-ghc8.6.5-icu70.1.zip
+        #   sha256: 8bb8524b95a08bb15f599ece371039d045b90d47ac8c1a44014af746dae7e3fb
+        #   target: ubuntu-22.04
     windows:
       x64: []
   compatibility:
@@ -361,9 +361,9 @@ nightly:
         - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.5.4.2-x64-ubuntu-20.04-ghc8.4.4-icu66.1.zip
           sha256: 5be8ca3253954c5602222936fd6901c5743bf56c19eb055a04f31e17564c4215
           target: ubuntu-20.04
-        - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.5.4.2-x64-ubuntu-22.04-ghc8.4.4-icu70.1.zip
-          sha256: f183a793a1dd0856f69a86bc17d293ec52b2270113507ff59811fa5de59ebf18
-          target: ubuntu-22.04
+        # - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.5.4.2-x64-ubuntu-22.04-ghc8.4.4-icu70.1.zip
+        #   sha256: f183a793a1dd0856f69a86bc17d293ec52b2270113507ff59811fa5de59ebf18
+        #   target: ubuntu-22.04
     windows:
       x64: []
   compatibility:
@@ -386,9 +386,9 @@ nightly:
         - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.5.3-x64-ubuntu-20.04-ghc8.2.2-icu66.1.zip
           sha256: 6a450bd50e7f403caf1d4e63d6381fc9fe0109053686b7e0b8a0ad5ba1eca9a1
           target: ubuntu-20.04
-        - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.5.3-x64-ubuntu-22.04-ghc8.2.2-icu70.1.zip
-          sha256: a752bdb680dce4c6f03a10298e3bdf39d5a5137d633bbaf1f5e98d3d0b6bdd6d
-          target: ubuntu-22.04
+        # - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.5.3-x64-ubuntu-22.04-ghc8.2.2-icu70.1.zip
+        #   sha256: a752bdb680dce4c6f03a10298e3bdf39d5a5137d633bbaf1f5e98d3d0b6bdd6d
+        #   target: ubuntu-22.04
     windows:
       x64: []
   compatibility:
@@ -415,9 +415,9 @@ nightly:
         - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.5.2-x64-ubuntu-20.04-ghc8.0.2.zip
           sha256: 6db78288847727714bafd1b8a4b493d40d8e4492990951bda9f893b3b73e6747
           target: ubuntu-20.04
-        - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.5.2-x64-ubuntu-22.04-ghc8.0.2.zip
-          sha256: 0174a1fc3184f8235f32a095b7311350dfca71d8a19b6133d1f62a7ff20b5da4
-          target: ubuntu-22.04
+        # - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.5.2-x64-ubuntu-22.04-ghc8.0.2.zip
+        #   sha256: 0174a1fc3184f8235f32a095b7311350dfca71d8a19b6133d1f62a7ff20b5da4
+        #   target: ubuntu-22.04
     windows:
       x64: []
   compatibility: