Skip to content

Actions: alire-project/GNAT-FSF-builds

Actions

GNAT Linux

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
45 workflow runs
45 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

GNAT 14.2
GNAT Linux #218: Pull request #77 synchronize by Fabien-Chouteau
August 22, 2024 11:45 1m 9s gnat-14.2
August 22, 2024 11:45 1m 9s
GNAT 14.2
GNAT Linux #217: Pull request #77 opened by Fabien-Chouteau
August 21, 2024 16:45 3h 22m 59s gnat-14.2
August 21, 2024 16:45 3h 22m 59s
Fix SPARK on macos
GNAT Linux #216: Pull request #76 opened by Fabien-Chouteau
August 19, 2024 09:36 3h 24m 34s fix_spark_on_macos
August 19, 2024 09:36 3h 24m 34s
Build esp32-elf cross (without runtimes)
GNAT Linux #215: Pull request #75 synchronize by reznikmm
August 18, 2024 17:12 1h 56m 52s reznikmm:topic/esp32_pr
August 18, 2024 17:12 1h 56m 52s
Build esp32-elf cross (without runtimes)
GNAT Linux #214: Pull request #75 synchronize by reznikmm
August 18, 2024 04:19 2h 1m 3s reznikmm:topic/esp32_pr
August 18, 2024 04:19 2h 1m 3s
Build esp32-elf cross (without runtimes)
GNAT Linux #213: Pull request #75 synchronize by reznikmm
August 17, 2024 08:18 2h 31m 53s reznikmm:topic/esp32_pr
August 17, 2024 08:18 2h 31m 53s
Build esp32-elf cross (without runtimes)
GNAT Linux #212: Pull request #75 synchronize by reznikmm
August 17, 2024 04:31 2h 30m 37s reznikmm:topic/esp32_pr
August 17, 2024 04:31 2h 30m 37s
Build esp32-elf cross (without runtimes)
GNAT Linux #211: Pull request #75 opened by reznikmm
August 17, 2024 04:06 2h 32m 38s reznikmm:topic/esp32_pr
August 17, 2024 04:06 2h 32m 38s
Gprbuild 24
GNAT Linux #210: Pull request #73 synchronize by Fabien-Chouteau
August 1, 2024 14:32 3h 17m 50s gprbuild_24
August 1, 2024 14:32 3h 17m 50s
Split GPRbuild and GNATcov builds in different runs
GNAT Linux #209: Commit 4e70faa pushed by Fabien-Chouteau
August 1, 2024 11:43 Failure gprbuild_24
August 1, 2024 11:43 Failure
Gprbuild 24
GNAT Linux #208: Pull request #73 opened by Fabien-Chouteau
August 1, 2024 09:39 3h 20m 9s gprbuild_24
August 1, 2024 09:39 3h 20m 9s
Gnatprove wave
GNAT Linux #207: Pull request #70 opened by Fabien-Chouteau
July 9, 2024 13:27 51m 8s gnatprove_wave
July 9, 2024 13:27 51m 8s
GNATprove 14.1
GNAT Linux #206: Pull request #66 synchronize by Fabien-Chouteau
July 5, 2024 10:00 2h 41m 31s gnatprove-14.1
July 5, 2024 10:00 2h 41m 31s
GNATprove 14.1
GNAT Linux #205: Pull request #66 synchronize by Fabien-Chouteau
July 4, 2024 14:32 2h 48m 44s gnatprove-14.1
July 4, 2024 14:32 2h 48m 44s
GNATprove 14.1
GNAT Linux #204: Pull request #66 synchronize by Fabien-Chouteau
June 21, 2024 15:41 2h 45m 8s gnatprove-14.1
June 21, 2024 15:41 2h 45m 8s
GNATprove 14.1
GNAT Linux #203: Pull request #66 synchronize by Fabien-Chouteau
June 21, 2024 13:09 2h 39m 35s gnatprove-14.1
June 21, 2024 13:09 2h 39m 35s
GNATprove 14.1
GNAT Linux #202: Pull request #66 synchronize by Fabien-Chouteau
June 21, 2024 12:59 10m 27s gnatprove-14.1
June 21, 2024 12:59 10m 27s
GNATprove 14.1
GNAT Linux #201: Pull request #66 synchronize by Fabien-Chouteau
June 21, 2024 12:49 8m 0s gnatprove-14.1
June 21, 2024 12:49 8m 0s
GNATprove 14.1
GNAT Linux #200: Pull request #66 synchronize by Fabien-Chouteau
June 18, 2024 16:33 3h 16m 49s gnatprove-14.1
June 18, 2024 16:33 3h 16m 49s
Build GCC 14.1 on aarch64-apple-darwin.
GNAT Linux #199: Pull request #68 opened by reznikmm
June 15, 2024 08:56 3h 25m 38s reznikmm:macos
June 15, 2024 08:56 3h 25m 38s
GNATprove 14.1
GNAT Linux #198: Pull request #66 synchronize by Fabien-Chouteau
June 7, 2024 16:33 39m 42s gnatprove-14.1
June 7, 2024 16:33 39m 42s
GNATprove 14.1
GNAT Linux #197: Pull request #66 synchronize by Fabien-Chouteau
June 5, 2024 16:18 3h 10m 20s gnatprove-14.1
June 5, 2024 16:18 3h 10m 20s
GNATprove 14.1
GNAT Linux #196: Pull request #66 synchronize by Fabien-Chouteau
June 3, 2024 15:06 3m 1s gnatprove-14.1
June 3, 2024 15:06 3m 1s
GNATprove 14.1
GNAT Linux #195: Pull request #66 synchronize by Fabien-Chouteau
June 3, 2024 09:03 3h 19m 0s gnatprove-14.1
June 3, 2024 09:03 3h 19m 0s
GNATprove 14.1
GNAT Linux #194: Pull request #66 synchronize by Fabien-Chouteau
May 31, 2024 15:48 2h 45m 51s gnatprove-14.1
May 31, 2024 15:48 2h 45m 51s