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 #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
Merge branch 'topic/lal_refactor.13.nameres_failures' into 'edge' Build binaries #1394: Commit 6cb2c1e pushed by adacore-bot
March 27, 2024 16:17 34m 33s edge
edge
March 27, 2024 16:17 34m 33s
Merge remote branch 'origin/master' into edge Build binaries #1393: Commit 8486b8b pushed by adacore-bot
March 26, 2024 00:55 1h 23m 52s edge
edge
March 26, 2024 00:55 1h 23m 52s
Merge remote branch 'origin/master' into edge Build binaries #1392: Commit a166984 pushed by adacore-bot
March 23, 2024 00:56 1h 24m 12s edge
edge
March 23, 2024 00:56 1h 24m 12s
Merge remote branch 'origin/master' into edge Build binaries #1391: Commit 4b3f236 pushed by adacore-bot
March 20, 2024 00:55 1h 28m 29s edge
edge
March 20, 2024 00:55 1h 28m 29s
Merge remote branch 'origin/master' into edge Build binaries #1390: Commit 38685b3 pushed by adacore-bot
March 19, 2024 00:55 1h 22m 31s edge
edge
March 19, 2024 00:55 1h 22m 31s
Build binaries Build binaries #1389: by adacore-bot
March 13, 2024 01:51 1h 28m 10s edge
edge
March 13, 2024 01:51 1h 28m 10s
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