Update diff-release.yml

.github/workflows/build-crate.yml

@@ -13,7 +13,6 @@ jobs:
     runs-on: ${{ matrix.os }}
 
     strategy:
-      fail-fast: false
       matrix:
         os:
           - macos-latest

.github/workflows/build-native.yml

@@ -14,7 +14,6 @@ jobs:
     runs-on: ${{ matrix.os }}
 
     strategy:
-      fail-fast: false
       matrix:
         os:
           - macos-latest

.github/workflows/diff-release.yml

@@ -23,17 +23,24 @@ jobs:
         # need the full history or else grafted partial branches confuse the
         # changed files detector
 
-#    - name: Set up GNAT toolchain (FSF)
-#      uses: ada-actions/toolchain@ce2020
-#      with:
-#        distrib: fsf # faster install?
-
     - name: Set up stable `alr`
       if: contains(github.base_ref, 'stable-')
       uses: alire-project/setup-alire@v1
       with:
         toolchain: --disable-assistant # We don't need the compiler
 
+    - name: Set up GNAT toolchain (FSF)
+      if: (matrix.os == 'ubuntu-latest') && (contains(github.base_ref, 'devel-'))
+      uses: ada-actions/toolchain@ce2020
+      with:
+        distrib: fsf # faster install?
+
+    - name: Set up GNAT toolchain (Community)
+      if: (matrix.os != 'ubuntu-latest') && (contains(github.base_ref, 'devel-'))
+      uses: ada-actions/toolchain@ce2020
+      with:
+        distrib: community
+
     - name: Set up devel `alr`
       if: contains(github.base_ref, 'devel-')
       uses: alire-project/setup-alire@v1
@@ -43,4 +50,4 @@ jobs:
 
     - name: Diff releases
       run: scripts/diff-release.sh || true # No deal breaker if failed
-      shell: bash
+      shell: bash

.github/workflows/main.yml

@@ -12,7 +12,7 @@ jobs:
 
     - name: Set up stable `alr`
       if: contains(github.base_ref, 'stable-')
-      uses: alire-project/setup-alire@v1
+      uses: alire-project/setup-alire@latest-stable
 
     - name: Set up GNAT for devel `alr`
       if: contains(github.base_ref, 'devel-')
@@ -22,9 +22,7 @@ jobs:
 
     - name: Set up devel `alr`
       if: contains(github.base_ref, 'devel-')
-      uses: alire-project/setup-alire@v1
+      uses: alire-project/setup-alire@latest-devel
-      with:
-        branch: master
 
     - run: alr index --list
 

index/aa/aaa/aaa-0.2.5.toml

@@ -1,27 +0,0 @@
-name = "aaa"
-version = "0.2.5"
-description = "Alex's Ada Assortment (of miscellaneous utilities)"
-
-long-description = """
-Alex's Ada Assortment of Utilities
-
-- Text formatting (paragraphs, tables).
-- Indefinite containers.
-- Enumeration validity/conversions of string images.
-- On-demand stack backtraces.
-- String containers and utilities.
-- Simple subprocess spawning.
-- Write-through minimal cache for objects stored in files
-"""
-
-authors = ["Alejandro R. Mosteo"]
-licenses = "LGPL-3.0-only"
-maintainers = ["alejandro@mosteo.com"]
-maintainers-logins = ["mosteo"]
-tags = ["miscellanea", "utility"]
-website = "https://github.com/mosteo/aaa"
-
-[origin]
-commit = "521a8669cf8dbd0eeb71d22d2634421265d52f62"
-url = "git+https://github.com/mosteo/aaa.git"
-

index/ee/eeprom_i2c/eeprom_i2c-3.0.1.toml

@@ -1,20 +0,0 @@
-name = "eeprom_i2c"
-description = "EEPROM I2C drivers library for embedded platforms"
-version = "3.0.1"
-licenses = "BSD-3-Clause"
-
-authors = ["Holger Rodriguez"]
-maintainers = ["Holger Rodriguez <github@roseng.ch>"]
-maintainers-logins = ["hgrodriguez"]
-tags = ["embedded", "nostd", "eeprom", "rp2040", "i2c"]
-website = "https://github.com/hgrodriguez/eeprom_i2c"
-
-[[depends-on]]  # Added by alr
-hal = "~0.1.0"  # Added by alr
-[[depends-on]]  # Added by alr
-gnat_arm_elf = "^11.2.3"  # Added by alr
-
-[origin]
-commit = "b5f8a79cedb8588e1a6882b48ecc79c9a2a49d4c"
-url = "git+https://github.com/hgrodriguez/eeprom_i2c.git"
-

index/ee/eeprom_i2c/eeprom_i2c-3.2.0.toml

@@ -1,18 +0,0 @@
-name = "eeprom_i2c"
-description = "EEPROM I2C drivers library for embedded platforms"
-version = "3.2.0"
-licenses = "BSD-3-Clause"
-
-authors = ["Holger Rodriguez"]
-maintainers = ["Holger Rodriguez <github@roseng.ch>"]
-maintainers-logins = ["hgrodriguez"]
-tags = ["embedded", "nostd", "eeprom", "rp2040", "i2c"]
-website = "https://github.com/hgrodriguez/eeprom_i2c"
-
-[[depends-on]]  # Added by alr
-hal = "~0.1.0"  # Added by alr
-
-[origin]
-commit = "c6d81ebc6b10a9d163d4735841cb694c4cd175e2"
-url = "git+https://github.com/hgrodriguez/eeprom_i2c.git"
-

index/li/libblas/libblas-external.toml

@@ -1,14 +0,0 @@
-description = "Basic Linear Algebra Subprograms"
-name = "libblas"
-licenses = "custom-blas-2017"
-
-authors = ["Simon Wright"]
-maintainers = ["Simon Wright <simon@pushface.org>"]
-maintainers-logins = ["simonjwright"]
-
-[[external]]
-kind="system"
-[external.origin."case(distribution)"]
-"macos" = []
-"debian|ubuntu" = ["libblas-dev"]
-"msys2" = ["mingw-w64-x86_64-lapack"]

index/li/liblapack/liblapack-external.toml

@@ -1,14 +0,0 @@
-description = "Linear Algebra Package"
-name = "liblapack"
-licenses = "BSD-3-Clause"
-
-authors = ["Simon Wright"]
-maintainers = ["Simon Wright <simon@pushface.org>"]
-maintainers-logins = ["simonjwright"]
-
-[[external]]
-kind="system"
-[external.origin."case(distribution)"]
-"macos" = []
-"debian|ubuntu" = ["liblapack-dev"]
-"msys2" = ["mingw-w64-x86_64-lapack"]

index/pi/pico_bsp/pico_bsp-1.5.0.toml

@@ -1,22 +0,0 @@
-name = "pico_bsp"
-description = "Board support package for Raspberry Pi Pico"
-version = "1.5.0"
-licenses = "BSD-3-Clause"
-
-authors = ["Jeremy Grosser"]
-maintainers = ["Jeremy Grosser <jeremy@synack.me>"]
-maintainers-logins = ["JeremyGrosser"]
-tags = ["embedded", "nostd", "raspberrypi", "pico", "rp2040", "bsp"]
-website = "https://pico-doc.synack.me/"
-
-[[depends-on]]
-hal = "~0.1"
-rp2040_hal = "^1.5"
-
-[configuration.values]
-rp2040_hal.Flash_Chip = "w25qxx"
-
-[origin]
-commit = "22a7257552168a489f514bc4da65cbc641985b60"
-url = "git+https://github.com/JeremyGrosser/pico_bsp.git"
-

index/pi/pico_examples/pico_examples-1.5.0.toml

@@ -1,39 +0,0 @@
-name = "pico_examples"
-description = "Examples for Ada on the Raspberry Pi Pico"
-version = "1.5.0"
-
-authors = ["Jeremy Grosser"]
-maintainers = ["Jeremy Grosser <jeremy@synack.me>"]
-maintainers-logins = ["JeremyGrosser"]
-licenses = "BSD-3-Clause"
-tags = ["embedded", "nostd", "pico", "rp2040"]
-website = "https://pico-doc.synack.me/"
-auto-gpr-with=false
-project-files = [
-    "adc_continuous/adc_continuous.gpr",
-    "adc_hello/adc_hello.gpr",
-    "blink/blink.gpr",
-    "gpio_interrupts/gpio_interrupts.gpr",
-    "multicore/multicore.gpr",
-    "pimoroni_audio_pack/pimoroni_audio_pack.gpr",
-    "pimoroni_rgb_keypad/pimoroni_rgb_keypad.gpr",
-    "pimoroni_rgb_keypad_interrupt/pimoroni_rgb_keypad_interrupt.gpr",
-    "pio_assemble/pio_assemble.gpr",
-    "pio_blink/pio_blink.gpr",
-    "pwm/pwm.gpr",
-    "rtc/rtc.gpr",
-    "spi_loopback/spi_loopback.gpr",
-    "timer/timer.gpr",
-    "uart_echo/uart_echo.gpr",
-    "uart_interrupt/uart_interrupt.gpr",
-    "usb_echo/usb_echo.gpr",
-    "ws2812_demo/ws2812_demo.gpr"]
-
-[[depends-on]]
-pico_bsp = "^1.5"
-chests = "~0.1.1"
-
-[origin]
-commit = "2494b8fd8e66fc5805f85a2d4c391fa926786e20"
-url = "git+https://github.com/JeremyGrosser/pico_examples.git"
-

index/rp/rp2040_hal/rp2040_hal-1.5.0.toml

@@ -1,28 +0,0 @@
-name = "rp2040_hal"
-description = "Drivers and HAL for the RP2040 micro-controller family"
-version = "1.5.0"
-licenses = "BSD-3-Clause"
-
-authors = ["Jeremy Grosser"]
-maintainers = ["Jeremy Grosser <jeremy@synack.me>"]
-maintainers-logins = ["JeremyGrosser"]
-tags = ["embedded", "nostd", "rp2040", "raspberrypi", "drivers"]
-website = "https://pico-doc.synack.me/"
-
-[[depends-on]]
-cortex_m = "~0.3"
-hal = "~0.1"
-usb_embedded = "~0.2"
-gnat_arm_elf = "^11.2"
-
-[configuration.variables]
-Flash_Chip = {type = "Enum",  values = ["w25qxx", "generic_qspi", "generic_03"], default = "w25qxx"}
-Use_Startup = {type = "Boolean", default = true}
-
-[configuration.values]
-atomic.Backend = "armv6m"
-
-[origin]
-commit = "fee519d49256de7ffb4ffa7820bd70b809f3a7d4"
-url = "git+https://github.com/JeremyGrosser/rp2040_hal.git"
-

index/ti/tiny_text/tiny_text-1.0.0.toml

@@ -6,7 +6,7 @@ authors = ["Jeremy Grosser"]
 maintainers = ["Jeremy Grosser <jeremy@synack.me>"]
 maintainers-logins = ["JeremyGrosser"]
 licenses = "MIT"
-website = "https://github.com/JeremyGrosser/tiny_text"
+website = ["https://github.com/JeremyGrosser/tiny_text"]
 tags = ["font", "hal", "bitmap", "text"]
 
 [[depends-on]]  # This line was added by `alr with`