Skip to content

Actions: alire-project/alire-index

Build Crate (Distro toolchain)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
112 workflow run results
112 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

New crate intl for a small NLS library on top of gettext (3)
Build Crate (Distro toolchain) #242: Pull request #918 opened by stcarrez
November 12, 2023 16:30 1m 58s stcarrez:intl
November 12, 2023 16:30 1m 58s
gnatprove-13.2.1: GPR_PROJECT_PATH for sparklib
Build Crate (Distro toolchain) #241: Pull request #917 opened by Fabien-Chouteau
November 10, 2023 17:30 2m 44s gnatprove-13.2.1-sparklib
November 10, 2023 17:30 2m 44s
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