Skip to content

Actions: alire-project/alire-index

Diff release

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
60 workflow run results
60 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

gnatprove-13.2.1: GPR_PROJECT_PATH for sparklib
Diff release #763: Pull request #917 opened by Fabien-Chouteau
November 10, 2023 17:30 32s gnatprove-13.2.1-sparklib
November 10, 2023 17:30 32s
gnatprove 13.2.1
Diff release #762: Pull request #916 opened by Fabien-Chouteau
November 9, 2023 13:53 30s gnatprove-13.2
November 9, 2023 13:53 30s
Don't look for gprbuild from system provider.
Diff release #761: Pull request #913 synchronize by simonjwright
November 9, 2023 12:19 38s gprbuild-not-in-provider
November 9, 2023 12:19 38s
Add externals for libgtk3 on macOS.
Diff release #760: Pull request #915 synchronize by mosteo
November 8, 2023 14:17 21s libgtk3-for-mac
November 8, 2023 14:17 21s
Add externals for libgtk3 on macOS.
Diff release #759: Pull request #915 synchronize by mosteo
November 8, 2023 14:11 34s libgtk3-for-mac
November 8, 2023 14:11 34s
Add externals for libgtk3 on macOS.
Diff release #758: Pull request #915 synchronize by mosteo
November 8, 2023 11:56 28s libgtk3-for-mac
November 8, 2023 11:56 28s
Add externals for libgtk3 on macOS.
Diff release #757: Pull request #915 opened by simonjwright
November 7, 2023 17:08 40s libgtk3-for-mac
November 7, 2023 17:08 40s
Automate update to 3.0.0.
Diff release #756: Pull request #914 opened by Blady-Com
November 2, 2023 20:43 32s Blady-Com:automate-3.0.0
November 2, 2023 20:43 32s
Don't look for gprbuild from system provider.
Diff release #755: Pull request #913 opened by simonjwright
November 1, 2023 11:55 40s gprbuild-not-in-provider
November 1, 2023 11:55 40s
Better fix for gnat 13 bug; emacs_wisi 4.3.2, wisitoken 4.2.1
Diff release #754: Pull request #912 opened by stephe-ada-guru
October 24, 2023 21:47 33s stable-1.2.1
October 24, 2023 21:47 33s
mold_lib 1.0.3
Diff release #753: Pull request #911 synchronize by rocher
October 24, 2023 20:59 33s rocher:crate/mold_lib
October 24, 2023 20:59 33s
mold_lib 1.0.3
Diff release #752: Pull request #911 synchronize by rocher
October 23, 2023 17:49 30s rocher:crate/mold_lib
October 23, 2023 17:49 30s
mold_lib 1.0.3
Diff release #751: Pull request #911 synchronize by rocher
October 23, 2023 17:45 31s rocher:crate/mold_lib
October 23, 2023 17:45 31s
mold_lib 1.0.3
Diff release #750: Pull request #911 synchronize by rocher
October 22, 2023 18:23 40s rocher:crate/mold_lib
October 22, 2023 18:23 40s
mold_lib 1.0.3
Diff release #749: Pull request #911 synchronize by rocher
October 22, 2023 18:01 33s rocher:crate/mold_lib
October 22, 2023 18:01 33s
mold_lib 1.0.3
Diff release #748: Pull request #911 opened by rocher
October 22, 2023 16:33 38s rocher:crate/mold_lib
October 22, 2023 16:33 38s
Release emacs_wisi 4.3.1
Diff release #747: Pull request #910 opened by stephe-ada-guru
October 21, 2023 17:07 38s stable-1.2.1
October 21, 2023 17:07 38s
Version 0.7.0 of PowerJoular
Diff release #746: Pull request #909 opened by adelnoureddine
October 20, 2023 18:15 38s adelnoureddine:stable-1.2.1
October 20, 2023 18:15 38s
GNAT FSF 13.2.1
Diff release #745: Pull request #908 opened by Fabien-Chouteau
October 19, 2023 07:48 40s gnat-fsf-13.2
October 19, 2023 07:48 40s
GNAT FSF 13.1.0 on macOS
Diff release #744: Pull request #907 opened by Fabien-Chouteau
October 9, 2023 07:08 35s gnat-fsf-13-macos
October 9, 2023 07:08 35s
Release ada-mode 8.1.0, gpr-mode 1.0.4 and dependencies
Diff release #743: Pull request #905 synchronize by stephe-ada-guru
October 7, 2023 15:41 34s stable-1.2.1
October 7, 2023 15:41 34s
Upgrade UXStrings to version 0.6.0.
Diff release #742: Pull request #906 opened by Blady-Com
October 7, 2023 13:28 30s Blady-Com:uxstrings-0.6.0
October 7, 2023 13:28 30s
Release ada-mode 8.1.0, gpr-mode 1.0.4 and dependencies
Diff release #741: Pull request #905 synchronize by stephe-ada-guru
October 6, 2023 17:10 36s stable-1.2.1
October 6, 2023 17:10 36s
Release ada-mode 8.1.0, gpr-mode 1.0.4 and dependencies
Diff release #740: Pull request #905 synchronize by stephe-ada-guru
October 6, 2023 16:20 39s stable-1.2.1
October 6, 2023 16:20 39s
Release ada-mode 8.1.0, gpr-mode 1.0.4 and dependencies
Diff release #739: Pull request #905 synchronize by stephe-ada-guru
October 6, 2023 09:16 31s stable-1.2.1
October 6, 2023 09:16 31s