Skip to content

Actions: AdaCore/ada_language_server

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
176 workflow runs
176 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
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
Merge remote branch 'origin/master' into edge Build binaries #1402: Commit c2781f5 pushed by adacore-bot
April 12, 2024 00:56 1h 41m 13s edge
edge
April 12, 2024 00:56 1h 41m 13s
Merge branch 'topic/edge-gpr-259-fix-tests' into 'edge' Build binaries #1401: Commit 55ade45 pushed by adacore-bot
April 11, 2024 17:58 1h 25m 58s edge
edge
April 11, 2024 17:58 1h 25m 58s
Merge remote branch 'origin/master' into edge Build binaries #1400: Commit ebfa005 pushed by adacore-bot
April 11, 2024 00:56 1h 34m 12s edge
edge
April 11, 2024 00:56 1h 34m 12s
Merge branch 'topic/fix_build_edge' into 'edge' Build binaries #1399: Commit 29accc2 pushed by adacore-bot
April 8, 2024 12:10 1h 33m 22s edge
edge
April 8, 2024 12:10 1h 33m 22s
Merge branch 'topic/merge_to_edge' into 'edge' Build binaries #1398: Commit c3e2032 pushed by adacore-bot
April 4, 2024 13:29 1h 9m 23s edge
edge
April 4, 2024 13:29 1h 9m 23s
Merge branch 'laltools_issue_163' into 'edge' Build binaries #1397: Commit baf0cfa pushed by adacore-bot
April 3, 2024 16:50 1h 31m 48s edge
edge
April 3, 2024 16:50 1h 31m 48s
Merge remote branch 'origin/master' into edge Build binaries #1396: Commit 98c4407 pushed by adacore-bot
April 3, 2024 00:56 1h 31m 2s edge
edge
April 3, 2024 00:56 1h 31m 2s
Merge branch 'topic/merge_master_to_edge' into 'edge' Build binaries #1395: Commit b7306d9 pushed by adacore-bot
April 2, 2024 13:17 1h 22m 40s edge
edge
April 2, 2024 13:17 1h 22m 40s