Skip to content

Actions: AdaCore/ada_language_server

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
209 workflow runs
209 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge remote branch 'origin/master' into edge Build binaries #1436: Commit 4219b09 pushed by adacore-bot
June 27, 2024 00:55 1h 35m 23s edge
edge
June 27, 2024 00:55 1h 35m 23s
Merge remote branch 'origin/master' into edge Build binaries #1435: Commit f056f83 pushed by adacore-bot
June 26, 2024 00:55 1h 46m 36s edge
edge
June 26, 2024 00:55 1h 46m 36s
Merge remote branch 'origin/master' into edge Build binaries #1434: Commit 15c4384 pushed by adacore-bot
June 25, 2024 09:44 1h 37m 59s 24.0.6
24.0.6
June 25, 2024 09:44 1h 37m 59s
Merge remote branch 'origin/master' into edge Build binaries #1433: Commit 15c4384 pushed by adacore-bot
June 25, 2024 00:55 1h 24m 26s edge
edge
June 25, 2024 00:55 1h 24m 26s
Merge remote branch 'origin/master' into edge Build binaries #1432: Commit 8d84d50 pushed by adacore-bot
June 19, 2024 00:55 3m 15s edge
edge
June 19, 2024 00:55 3m 15s
Merge remote branch 'origin/master' into edge Build binaries #1431: Commit 39f5af4 pushed by adacore-bot
June 18, 2024 00:55 2m 18s edge
edge
June 18, 2024 00:55 2m 18s
Merge remote branch 'origin/master' into edge Build binaries #1430: Commit 62c9b99 pushed by adacore-bot
June 17, 2024 00:55 1h 33m 39s edge
edge
June 17, 2024 00:55 1h 33m 39s
Merge branch 'topic/fix_test' into 'edge' Build binaries #1429: Commit f03764a pushed by adacore-bot
June 13, 2024 07:39 1h 32m 14s edge
edge
June 13, 2024 07:39 1h 32m 14s
Merge remote branch 'origin/master' into edge Build binaries #1428: Commit 9eae1b3 pushed by adacore-bot
June 12, 2024 00:55 1h 23m 58s edge
edge
June 12, 2024 00:55 1h 23m 58s