Skip to content

Actions: mgrojo/emacs-ada-mode-binaries

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
50 workflow runs
50 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Create gpr_mode.yaml (#8) Build gpr-mode #3: Commit a1bdd58 pushed by mgrojo
October 2, 2024 22:16 10m 9s main
main
October 2, 2024 22:16 10m 9s
Create gpr_mode.yaml (#8) Build #47: Commit a1bdd58 pushed by mgrojo
October 2, 2024 22:16 16m 27s main
main
October 2, 2024 22:16 16m 27s
Create gpr_mode.yaml Build #46: Pull request #8 synchronize by mgrojo
October 2, 2024 22:01 13m 50s mgrojo-gpr_mode
mgrojo-gpr_mode
October 2, 2024 22:01 13m 50s
Create gpr_mode.yaml Build gpr-mode #2: Pull request #8 synchronize by mgrojo
October 2, 2024 22:01 8m 54s mgrojo-gpr_mode
mgrojo-gpr_mode
October 2, 2024 22:01 8m 54s
Create gpr_mode.yaml Build gpr-mode #1: Pull request #8 opened by mgrojo
October 2, 2024 21:40 6m 48s mgrojo-gpr_mode
mgrojo-gpr_mode
October 2, 2024 21:40 6m 48s
Create gpr_mode.yaml Build #45: Pull request #8 opened by mgrojo
October 2, 2024 21:40 14m 44s mgrojo-gpr_mode
mgrojo-gpr_mode
October 2, 2024 21:40 14m 44s
Update README.md about building on Ubuntu 20.04 Build #44: Commit f32c9e5 pushed by mgrojo
September 20, 2024 19:53 13m 33s main
main
September 20, 2024 19:53 13m 33s
Use oldest Ubuntu release for greater compatibility (#7) Build #43: Commit 1741b4f pushed by mgrojo
September 20, 2024 19:44 20m 39s main
main
September 20, 2024 19:44 20m 39s
Use oldest Ubuntu release for greater compatibility Build #42: Pull request #7 synchronize by mgrojo
September 20, 2024 18:42 13m 32s oldest-ubuntu
oldest-ubuntu
September 20, 2024 18:42 13m 32s
Use oldest Ubuntu release for greater compatibility Build #41: Pull request #7 synchronize by mgrojo
September 20, 2024 17:48 51s oldest-ubuntu
oldest-ubuntu
September 20, 2024 17:48 51s
Use oldest Ubuntu release for greater compatibility Build #40: Pull request #7 synchronize by mgrojo
September 20, 2024 17:35 2m 38s oldest-ubuntu
oldest-ubuntu
September 20, 2024 17:35 2m 38s
Use oldest Ubuntu release for greater compatibility Build #39: Pull request #7 synchronize by mgrojo
September 20, 2024 17:28 2m 29s oldest-ubuntu
oldest-ubuntu
September 20, 2024 17:28 2m 29s
Use oldest Ubuntu release for greater compatibility Build #38: Pull request #7 synchronize by mgrojo
September 20, 2024 17:12 2m 9s oldest-ubuntu
oldest-ubuntu
September 20, 2024 17:12 2m 9s
Use oldest Ubuntu release for greater compatibility Build #37: Pull request #7 synchronize by mgrojo
September 20, 2024 17:05 1m 8s oldest-ubuntu
oldest-ubuntu
September 20, 2024 17:05 1m 8s
Use oldest Ubuntu release for greater compatibility Build #36: Pull request #7 synchronize by mgrojo
September 20, 2024 05:28 1m 3s oldest-ubuntu
oldest-ubuntu
September 20, 2024 05:28 1m 3s
Use oldest Ubuntu release for greater compatibility Build #35: Pull request #7 synchronize by mgrojo
September 19, 2024 22:18 50s oldest-ubuntu
oldest-ubuntu
September 19, 2024 22:18 50s
Use oldest Ubuntu release for greater compatibility Build #34: Pull request #7 synchronize by mgrojo
September 19, 2024 22:11 1m 35s oldest-ubuntu
oldest-ubuntu
September 19, 2024 22:11 1m 35s
Use oldest Ubuntu release for greater compatibility Build #33: Pull request #7 synchronize by mgrojo
September 19, 2024 22:08 1m 6s oldest-ubuntu
oldest-ubuntu
September 19, 2024 22:08 1m 6s
Use oldest Ubuntu release for greater compatibility Build #32: Pull request #7 opened by mgrojo
September 19, 2024 21:58 7m 13s oldest-ubuntu
oldest-ubuntu
September 19, 2024 21:58 7m 13s
Remove gprbuild requirement Build #31: Commit 5e93b97 pushed by mgrojo
May 23, 2024 22:00 12m 26s main
main
May 23, 2024 22:00 12m 26s
Remove gprbuild requirement Build #30: Pull request #6 opened by mgrojo
May 23, 2024 21:46 10m 55s mgrojo-no-select-gprbuild
mgrojo-no-select-gprbuild
May 23, 2024 21:46 10m 55s
Add not about GNAT 12 libraries Build #29: Commit f785936 pushed by mgrojo
May 15, 2024 20:49 5m 21s main
main
May 15, 2024 20:49 5m 21s
Unify alr build and alr install in a single step Build #28: Commit 73198e7 pushed by mgrojo
May 4, 2024 16:08 10m 58s main
main
May 4, 2024 16:08 10m 58s
Fix alr2appimage download Build #27: Commit 9f2c434 pushed by mgrojo
May 3, 2024 18:57 11m 31s main
main
May 3, 2024 18:57 11m 31s
Do not select exact versions of toolchain Build #26: Commit fb13afe pushed by mgrojo
May 3, 2024 18:38 12m 1s main
main
May 3, 2024 18:38 12m 1s