Skip to content

Actions: alire-project/alire-index

Build Crate (Distro toolchain)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
84 workflow run results
84 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

gnatprove 13.2.1
Build Crate (Distro toolchain) #240: Pull request #916 opened by Fabien-Chouteau
November 9, 2023 13:53 2m 1s gnatprove-13.2
November 9, 2023 13:53 2m 1s
Don't look for gprbuild from system provider.
Build Crate (Distro toolchain) #239: Pull request #913 synchronize by simonjwright
November 9, 2023 12:19 2m 6s gprbuild-not-in-provider
November 9, 2023 12:19 2m 6s
Add externals for libgtk3 on macOS.
Build Crate (Distro toolchain) #238: Pull request #915 synchronize by mosteo
November 8, 2023 14:17 2m 7s libgtk3-for-mac
November 8, 2023 14:17 2m 7s
Add externals for libgtk3 on macOS.
Build Crate (Distro toolchain) #237: Pull request #915 synchronize by mosteo
November 8, 2023 14:11 1m 54s libgtk3-for-mac
November 8, 2023 14:11 1m 54s
Add externals for libgtk3 on macOS.
Build Crate (Distro toolchain) #236: Pull request #915 synchronize by mosteo
November 8, 2023 11:56 1m 57s libgtk3-for-mac
November 8, 2023 11:56 1m 57s
Add externals for libgtk3 on macOS.
Build Crate (Distro toolchain) #235: Pull request #915 opened by simonjwright
November 7, 2023 17:08 2m 0s libgtk3-for-mac
November 7, 2023 17:08 2m 0s
Automate update to 3.0.0.
Build Crate (Distro toolchain) #234: Pull request #914 opened by Blady-Com
November 2, 2023 20:43 2m 18s Blady-Com:automate-3.0.0
November 2, 2023 20:43 2m 18s
Don't look for gprbuild from system provider.
Build Crate (Distro toolchain) #233: Pull request #913 opened by simonjwright
November 1, 2023 11:55 1m 34s gprbuild-not-in-provider
November 1, 2023 11:55 1m 34s
Better fix for gnat 13 bug; emacs_wisi 4.3.2, wisitoken 4.2.1
Build Crate (Distro toolchain) #232: Pull request #912 opened by stephe-ada-guru
October 24, 2023 21:47 18m 28s stable-1.2.1
October 24, 2023 21:47 18m 28s
mold_lib 1.0.3
Build Crate (Distro toolchain) #231: Pull request #911 synchronize by rocher
October 24, 2023 20:59 3m 8s rocher:crate/mold_lib
October 24, 2023 20:59 3m 8s
mold_lib 1.0.3
Build Crate (Distro toolchain) #230: Pull request #911 synchronize by rocher
October 23, 2023 17:49 3m 3s rocher:crate/mold_lib
October 23, 2023 17:49 3m 3s
mold_lib 1.0.3
Build Crate (Distro toolchain) #229: Pull request #911 synchronize by rocher
October 23, 2023 17:45 2m 49s rocher:crate/mold_lib
October 23, 2023 17:45 2m 49s
mold_lib 1.0.3
Build Crate (Distro toolchain) #228: Pull request #911 synchronize by rocher
October 22, 2023 18:23 12m 6s rocher:crate/mold_lib
October 22, 2023 18:23 12m 6s
mold_lib 1.0.3
Build Crate (Distro toolchain) #227: Pull request #911 synchronize by rocher
October 22, 2023 18:01 7m 30s rocher:crate/mold_lib
October 22, 2023 18:01 7m 30s
mold_lib 1.0.3
Build Crate (Distro toolchain) #226: Pull request #911 opened by rocher
October 22, 2023 16:33 2m 58s rocher:crate/mold_lib
October 22, 2023 16:33 2m 58s
Release emacs_wisi 4.3.1
Build Crate (Distro toolchain) #225: Pull request #910 opened by stephe-ada-guru
October 21, 2023 17:07 9m 38s stable-1.2.1
October 21, 2023 17:07 9m 38s
Version 0.7.0 of PowerJoular
Build Crate (Distro toolchain) #224: Pull request #909 opened by adelnoureddine
October 20, 2023 18:15 2m 17s adelnoureddine:stable-1.2.1
October 20, 2023 18:15 2m 17s
GNAT FSF 13.2.1
Build Crate (Distro toolchain) #223: Pull request #908 opened by Fabien-Chouteau
October 19, 2023 07:48 4m 32s gnat-fsf-13.2
October 19, 2023 07:48 4m 32s
GNAT FSF 13.1.0 on macOS
Build Crate (Distro toolchain) #222: Pull request #907 opened by Fabien-Chouteau
October 9, 2023 07:08 4m 8s gnat-fsf-13-macos
October 9, 2023 07:08 4m 8s
Release ada-mode 8.1.0, gpr-mode 1.0.4 and dependencies
Build Crate (Distro toolchain) #221: Pull request #905 synchronize by stephe-ada-guru
October 7, 2023 15:41 33m 35s stable-1.2.1
October 7, 2023 15:41 33m 35s
Upgrade UXStrings to version 0.6.0.
Build Crate (Distro toolchain) #220: Pull request #906 opened by Blady-Com
October 7, 2023 13:28 1m 53s Blady-Com:uxstrings-0.6.0
October 7, 2023 13:28 1m 53s
Release ada-mode 8.1.0, gpr-mode 1.0.4 and dependencies
Build Crate (Distro toolchain) #219: Pull request #905 synchronize by stephe-ada-guru
October 6, 2023 17:10 10m 45s stable-1.2.1
October 6, 2023 17:10 10m 45s
Release ada-mode 8.1.0, gpr-mode 1.0.4 and dependencies
Build Crate (Distro toolchain) #218: Pull request #905 synchronize by stephe-ada-guru
October 6, 2023 16:20 44m 16s stable-1.2.1
October 6, 2023 16:20 44m 16s
Release ada-mode 8.1.0, gpr-mode 1.0.4 and dependencies
Build Crate (Distro toolchain) #217: Pull request #905 synchronize by stephe-ada-guru
October 6, 2023 09:16 41m 22s stable-1.2.1
October 6, 2023 09:16 41m 22s
Release ada-mode 8.1.0, gpr-mode 1.0.4 and dependencies
Build Crate (Distro toolchain) #216: Pull request #905 synchronize by stephe-ada-guru
October 6, 2023 08:54 38m 51s stable-1.2.1
October 6, 2023 08:54 38m 51s