Skip to content

Actions: AdaCore/ada_language_server

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
154 workflow runs
154 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Merge branch 'topic/disable_gpr' into 'edge' Build binaries #1363: Commit 4b13a0b pushed by adacore-bot
December 7, 2023 11:35 1h 15m 23s edge
edge
December 7, 2023 11:35 1h 15m 23s
Merge remote branch 'origin/master' into edge Build binaries #1362: Commit 1b83ca3 pushed by adacore-bot
December 7, 2023 00:56 1h 10m 10s edge
edge
December 7, 2023 00:56 1h 10m 10s
Merge branch 'topic/edge-workaround-for-als-coverage-build-failure' i… Build binaries #1361: Commit 2cd8443 pushed by adacore-bot
December 6, 2023 17:47 1h 10m 9s edge
edge
December 6, 2023 17:47 1h 10m 9s
Merge remote branch 'origin/master' into edge Build binaries #1360: Commit 9ecf015 pushed by adacore-bot
December 5, 2023 00:56 1h 9m 29s edge
edge
December 5, 2023 00:56 1h 9m 29s
Merge remote branch 'origin/master' into edge Build binaries #1359: Commit ba5805c pushed by adacore-bot
December 1, 2023 00:56 1h 13m 45s edge
edge
December 1, 2023 00:56 1h 13m 45s
Merge remote branch 'origin/master' into edge Build binaries #1358: Commit 890aebb pushed by adacore-bot
November 30, 2023 00:56 1h 18m 6s edge
edge
November 30, 2023 00:56 1h 18m 6s
Merge remote branch 'origin/master' into edge Build binaries #1357: Commit a0f9878 pushed by adacore-bot
November 29, 2023 20:41 1h 14m 10s 24.0.2
24.0.2
November 29, 2023 20:41 1h 14m 10s
Merge remote branch 'origin/master' into edge Build binaries #1356: Commit a0f9878 pushed by adacore-bot
November 29, 2023 00:56 46m 59s edge
edge
November 29, 2023 00:56 46m 59s
Merge remote branch 'origin/master' into edge Build binaries #1355: Commit 149f00a pushed by adacore-bot
November 28, 2023 00:56 53m 54s edge
edge
November 28, 2023 00:56 53m 54s
Merge branch 'topic/adapt_gpr2' into 'edge' Build binaries #1354: Commit 540f2c6 pushed by adacore-bot
November 27, 2023 13:30 55m 37s edge
edge
November 27, 2023 13:30 55m 37s
Merge remote branch 'origin/master' into edge Build binaries #1353: Commit 0d7029a pushed by adacore-bot
November 25, 2023 00:56 57m 17s edge
edge
November 25, 2023 00:56 57m 17s
Merge remote branch 'origin/master' into edge Build binaries #1352: Commit 8938c83 pushed by adacore-bot
November 24, 2023 00:56 54m 36s edge
edge
November 24, 2023 00:56 54m 36s
Merge remote branch 'origin/master' into edge Build binaries #1351: Commit 926b077 pushed by adacore-bot
November 22, 2023 00:56 1h 9m 15s edge
edge
November 22, 2023 00:56 1h 9m 15s
Merge remote branch 'origin/master' into edge Build binaries #1350: Commit ae9b49e pushed by adacore-bot
November 21, 2023 00:56 1h 17m 7s edge
edge
November 21, 2023 00:56 1h 17m 7s
Merge remote branch 'origin/master' into edge Build binaries #1349: Commit 93f1b84 pushed by adacore-bot
November 18, 2023 00:56 1h 13m 30s edge
edge
November 18, 2023 00:56 1h 13m 30s
Merge remote branch 'origin/master' into edge Build binaries #1348: Commit 343b378 pushed by adacore-bot
November 17, 2023 00:56 28m 55s edge
edge
November 17, 2023 00:56 28m 55s
Merge remote branch 'origin/master' into edge Build binaries #1347: Commit 5fa95d5 pushed by adacore-bot
November 14, 2023 00:56 1h 44m 16s edge
edge
November 14, 2023 00:56 1h 44m 16s
Merge remote branch 'origin/master' into edge Build binaries #1346: Commit 2805f16 pushed by adacore-bot
November 10, 2023 00:56 1h 25m 40s edge
edge
November 10, 2023 00:56 1h 25m 40s
Merge remote branch 'origin/master' into edge Build binaries #1345: Commit 62fd450 pushed by adacore-bot
November 8, 2023 00:56 1h 13m 52s edge
edge
November 8, 2023 00:56 1h 13m 52s
Merge remote branch 'origin/master' into edge Build binaries #1344: Commit fb69691 pushed by adacore-bot
November 7, 2023 00:56 1h 16m 51s edge
edge
November 7, 2023 00:56 1h 16m 51s
Merge remote branch 'origin/master' into edge Build binaries #1343: Commit 1cabda3 pushed by adacore-bot
November 4, 2023 00:56 1h 19m 26s edge
edge
November 4, 2023 00:56 1h 19m 26s
Merge remote branch 'origin/master' into edge Build binaries #1342: Commit 312f16a pushed by adacore-bot
November 1, 2023 00:56 2h 3m 37s edge
edge
November 1, 2023 00:56 2h 3m 37s
Merge remote branch 'origin/master' into edge Build binaries #1341: Commit 7fc3e6d pushed by adacore-bot
October 31, 2023 00:56 1h 25m 8s edge
edge
October 31, 2023 00:56 1h 25m 8s