Skip to content

Actions: AdaCore/ada_language_server

Actions

Build binaries

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build-binaries.yml
161 workflow runs
161 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge remote branch 'origin/master' into edge Build binaries #1388: Commit ac3604b pushed by adacore-bot
March 7, 2024 00:56 1h 29m 27s edge
edge
March 7, 2024 00:56 1h 29m 27s
Merge remote branch 'origin/master' into edge Build binaries #1387: Commit 5a376d5 pushed by adacore-bot
March 6, 2024 00:56 1h 35m 40s edge
edge
March 6, 2024 00:56 1h 35m 40s
Merge remote branch 'origin/master' into edge Build binaries #1386: Commit 91b229c pushed by adacore-bot
February 29, 2024 00:55 1h 28m 22s edge
edge
February 29, 2024 00:55 1h 28m 22s
Merge remote branch 'origin/master' into edge Build binaries #1385: Commit b6ee150 pushed by adacore-bot
February 28, 2024 00:55 1h 59m 43s edge
edge
February 28, 2024 00:55 1h 59m 43s
Merge remote branch 'origin/master' into edge Build binaries #1384: Commit 9fbdddc pushed by adacore-bot
February 23, 2024 00:56 1h 19m 53s edge
edge
February 23, 2024 00:56 1h 19m 53s
Merge remote branch 'origin/master' into edge Build binaries #1383: Commit 680749c pushed by adacore-bot
February 20, 2024 00:56 1h 26m 34s edge
edge
February 20, 2024 00:56 1h 26m 34s
Merge remote branch 'origin/master' into edge Build binaries #1382: Commit 992e7e4 pushed by adacore-bot
February 19, 2024 08:54 1h 33m 42s 24.0.4
24.0.4
February 19, 2024 08:54 1h 33m 42s
Merge remote branch 'origin/master' into edge Build binaries #1381: Commit 992e7e4 pushed by adacore-bot
February 17, 2024 00:56 1h 19m 46s edge
edge
February 17, 2024 00:56 1h 19m 46s
Merge remote branch 'origin/master' into edge Build binaries #1380: Commit 0a18783 pushed by adacore-bot
February 15, 2024 00:57 1h 18m 53s edge
edge
February 15, 2024 00:57 1h 18m 53s
Merge remote branch 'origin/master' into edge Build binaries #1379: Commit 475e2de pushed by adacore-bot
January 31, 2024 00:56 1h 16m 40s edge
edge
January 31, 2024 00:56 1h 16m 40s
Merge remote branch 'origin/master' into edge Build binaries #1378: Commit 04c4892 pushed by adacore-bot
January 26, 2024 00:56 1h 10m 59s edge
edge
January 26, 2024 00:56 1h 10m 59s
Merge remote branch 'origin/master' into edge Build binaries #1377: Commit fdc3f69 pushed by adacore-bot
January 24, 2024 00:56 1h 15m 53s edge
edge
January 24, 2024 00:56 1h 15m 53s
Merge remote branch 'origin/master' into edge Build binaries #1376: Commit ebf640b pushed by adacore-bot
January 20, 2024 00:56 1h 24m 42s edge
edge
January 20, 2024 00:56 1h 24m 42s
Merge branch 'topic/eng/ide/ada_language_server#1280' into 'edge' Build binaries #1375: Commit 3c3fc89 pushed by adacore-bot
January 19, 2024 14:30 1h 16m 19s edge
edge
January 19, 2024 14:30 1h 16m 19s
Merge branch 'mr/cherry_pick' into 'edge' Build binaries #1374: Commit 3f297ca pushed by adacore-bot
January 19, 2024 14:21 1h 13m 58s edge
edge
January 19, 2024 14:21 1h 13m 58s
Merge remote branch 'origin/master' into edge Build binaries #1373: Commit ad6b7fb pushed by adacore-bot
January 11, 2024 00:56 1h 15m 29s edge
edge
January 11, 2024 00:56 1h 15m 29s
Merge remote branch 'origin/master' into edge Build binaries #1372: Commit 4ee45ab pushed by adacore-bot
January 10, 2024 00:56 1h 15m 35s edge
edge
January 10, 2024 00:56 1h 15m 35s
Merge remote branch 'origin/master' into edge Build binaries #1371: Commit b3b6b29 pushed by adacore-bot
January 5, 2024 00:56 1h 12m 26s edge
edge
January 5, 2024 00:56 1h 12m 26s
Merge remote branch 'origin/master' into edge Build binaries #1370: Commit 4df1e7b pushed by adacore-bot
December 21, 2023 00:56 1h 15m 57s edge
edge
December 21, 2023 00:56 1h 15m 57s
Merge remote branch 'origin/master' into edge Build binaries #1369: Commit a844395 pushed by adacore-bot
December 14, 2023 00:56 1h 19m 29s edge
edge
December 14, 2023 00:56 1h 19m 29s
Merge remote branch 'origin/master' into edge Build binaries #1368: Commit ffbd88d pushed by adacore-bot
December 8, 2023 00:56 1h 16m 36s edge
edge
December 8, 2023 00:56 1h 16m 36s
Merge branch 'topic/fix_release' into 'edge' Build binaries #1367: Commit d16dc8b pushed by adacore-bot
December 7, 2023 19:46 6m 21s 24.0.3
24.0.3
December 7, 2023 19:46 6m 21s
Merge branch 'topic/fix_release' into 'edge' Build binaries #1366: Commit d16dc8b pushed by adacore-bot
December 7, 2023 19:43 2m 43s edge
edge
December 7, 2023 19:43 2m 43s
Merge branch 'topic/disable_gpr' into 'edge' Build binaries #1365: Commit 4b13a0b pushed by adacore-bot
December 7, 2023 19:39 1h 15m 3s 24.0.3
24.0.3
December 7, 2023 19:39 1h 15m 3s
Merge branch 'topic/disable_gpr' into 'edge' Build binaries #1364: Commit 4b13a0b pushed by adacore-bot
December 7, 2023 18:09 1h 18m 11s 24.0.3
24.0.3
December 7, 2023 18:09 1h 18m 11s