Skip to content

Actions: AdaCore/ada_language_server

Actions

Build binaries

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge remote branch 'origin/master' into edge Build binaries #1427: Commit ab27cbb pushed by adacore-bot
June 11, 2024 00:55 2m 12s edge
edge
June 11, 2024 00:55 2m 12s
Merge remote branch 'origin/master' into edge Build binaries #1426: Commit 4c8888d pushed by adacore-bot
June 5, 2024 00:55 6h 0m 57s edge
edge
June 5, 2024 00:55 6h 0m 57s
Merge remote branch 'origin/master' into edge Build binaries #1425: Commit 2adbec2 pushed by adacore-bot
June 4, 2024 00:55 6h 0m 32s edge
edge
June 4, 2024 00:55 6h 0m 32s
Merge remote branch 'origin/master' into edge Build binaries #1424: Commit d5d3171 pushed by adacore-bot
June 3, 2024 00:56 6h 0m 31s edge
edge
June 3, 2024 00:56 6h 0m 31s
Merge remote branch 'origin/master' into edge Build binaries #1423: Commit a4580d8 pushed by adacore-bot
May 31, 2024 06:41 6h 0m 33s edge
edge
May 31, 2024 06:41 6h 0m 33s
Merge remote branch 'origin/master' into edge Build binaries #1422: Commit 9466cc7 pushed by adacore-bot
May 29, 2024 00:55 6h 0m 34s edge
edge
May 29, 2024 00:55 6h 0m 34s
Merge remote branch 'origin/master' into edge Build binaries #1421: Commit ce68d69 pushed by adacore-bot
May 27, 2024 00:55 6h 0m 34s edge
edge
May 27, 2024 00:55 6h 0m 34s
Merge remote branch 'origin/master' into edge Build binaries #1420: Commit c49b537 pushed by adacore-bot
May 21, 2024 00:55 1h 1m 56s edge
edge
May 21, 2024 00:55 1h 1m 56s
Merge remote branch 'origin/master' into edge Build binaries #1419: Commit 21ccc18 pushed by adacore-bot
May 8, 2024 00:55 1h 2m 24s edge
edge
May 8, 2024 00:55 1h 2m 24s
Merge remote branch 'origin/master' into edge Build binaries #1418: Commit a4f1818 pushed by adacore-bot
May 7, 2024 00:55 1h 9m 14s edge
edge
May 7, 2024 00:55 1h 9m 14s
Merge remote branch 'origin/master' into edge Build binaries #1417: Commit 735cd7b pushed by adacore-bot
May 3, 2024 00:55 1h 1m 40s edge
edge
May 3, 2024 00:55 1h 1m 40s
Merge remote branch 'origin/master' into edge Build binaries #1416: Commit c780804 pushed by adacore-bot
May 1, 2024 00:56 1h 34m 53s edge
edge
May 1, 2024 00:56 1h 34m 53s
Merge remote branch 'origin/master' into edge Build binaries #1415: Commit c22e484 pushed by adacore-bot
April 30, 2024 00:55 1h 57m 18s edge
edge
April 30, 2024 00:55 1h 57m 18s
Merge remote branch 'origin/master' into edge Build binaries #1414: Commit 6238f99 pushed by adacore-bot
April 29, 2024 00:55 1h 55m 59s edge
edge
April 29, 2024 00:55 1h 55m 59s
Merge remote branch 'origin/master' into edge Build binaries #1413: Commit e8e897b pushed by adacore-bot
April 26, 2024 00:55 1h 28m 50s edge
edge
April 26, 2024 00:55 1h 28m 50s
Merge branch 'topic/revert_edge_on_master' into 'edge' Build binaries #1412: Commit 349c921 pushed by adacore-bot
April 25, 2024 09:57 6h 0m 31s edge
edge
April 25, 2024 09:57 6h 0m 31s
Merge branch 'topic/resolve_conflict' into 'edge' Build binaries #1411: Commit 4c50e83 pushed by adacore-bot
April 24, 2024 16:54 6h 0m 29s edge
edge
April 24, 2024 16:54 6h 0m 29s
Merge remote branch 'origin/master' into edge Build binaries #1410: Commit 924a518 pushed by adacore-bot
April 23, 2024 00:55 1h 44m 46s edge
edge
April 23, 2024 00:55 1h 44m 46s
Merge remote branch 'origin/master' into edge Build binaries #1409: Commit ac5e73e pushed by adacore-bot
April 22, 2024 00:55 1h 41m 13s edge
edge
April 22, 2024 00:55 1h 41m 13s
Merge branch 'topic/gil-edge-automatic-merges-219' into 'edge' Build binaries #1408: Commit 42aa322 pushed by adacore-bot
April 19, 2024 12:43 1h 34m 59s edge
edge
April 19, 2024 12:43 1h 34m 59s
Merge branch 'topic/gil-1335-edge-build-failure' into 'edge' Build binaries #1407: Commit 2a83d24 pushed by adacore-bot
April 18, 2024 15:30 1h 54m 30s edge
edge
April 18, 2024 15:30 1h 54m 30s
Merge remote branch 'origin/master' into edge Build binaries #1406: Commit 543f697 pushed by adacore-bot
April 18, 2024 00:56 1h 42m 21s edge
edge
April 18, 2024 00:56 1h 42m 21s
Merge branch 'topic/bump_merge_conflict' into 'edge' Build binaries #1405: Commit a1f91ec pushed by adacore-bot
April 17, 2024 15:09 1h 43m 26s edge
edge
April 17, 2024 15:09 1h 43m 26s
Merge remote branch 'origin/master' into edge Build binaries #1404: Commit 01071eb pushed by adacore-bot
April 16, 2024 10:44 1h 37m 28s 24.0.5
24.0.5
April 16, 2024 10:44 1h 37m 28s
Merge remote branch 'origin/master' into edge Build binaries #1403: Commit 01071eb pushed by adacore-bot
April 13, 2024 00:55 1h 29m 17s edge
edge
April 13, 2024 00:55 1h 29m 17s