Skip to content

Actions: AdaCore/libadalang-tools

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
152 workflow runs
152 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'eyraud/154' into 'master' Check compilation #609: Commit 54178e0 pushed by adacore-bot
March 13, 2024 18:21 17m 23s master
master
March 13, 2024 18:21 17m 23s
Merge branch 'eyraud/153' into 'master' Check compilation #608: Commit 6b8c52a pushed by adacore-bot
March 13, 2024 17:58 5m 49s master
master
March 13, 2024 17:58 5m 49s
Merge branch 'leo/150_explicit_seed' into 'master' Check compilation #607: Commit 7f16dfd pushed by adacore-bot
March 13, 2024 17:44 25m 34s master
master
March 13, 2024 17:44 25m 34s
Merge branch 'leo/151-array_limit' into 'master' Check compilation #606: Commit 4149c73 pushed by adacore-bot
March 8, 2024 16:20 6h 0m 20s master
master
March 8, 2024 16:20 6h 0m 20s
Merge branch 'leo/152-robustify' into 'master' Check compilation #605: Commit d451934 pushed by adacore-bot
March 7, 2024 10:39 18m 32s master
master
March 7, 2024 10:39 18m 32s
Merge branch 'add_reporters' into 'master' Check compilation #604: Commit 5925945 pushed by adacore-bot
March 7, 2024 09:38 2m 54s master
master
March 7, 2024 09:38 2m 54s
Merge branch 'close_file_on_error' into 'master' Check compilation #603: Commit 1d44bf4 pushed by adacore-bot
March 4, 2024 12:59 3m 57s master
master
March 4, 2024 12:59 3m 57s
Merge branch 'leo/147_tgen_clean' into 'master' Check compilation #602: Commit fce7ce5 pushed by adacore-bot
March 1, 2024 12:24 2m 53s master
master
March 1, 2024 12:24 2m 53s
Merge branch 'leo/135_name_conflict' into 'master' Check compilation #601: Commit d579831 pushed by adacore-bot
February 22, 2024 16:09 2m 45s master
master
February 22, 2024 16:09 2m 45s
Merge branch 'leo/146_globs' into 'master' Check compilation #600: Commit 2522a70 pushed by adacore-bot
February 22, 2024 15:40 3m 24s master
master
February 22, 2024 15:40 3m 24s
.gitreview: set gerrit.defaultbranch to lts-22 [eng/shared/release#152] Check compilation #599: Commit ab9f1dc pushed by adacore-bot
February 20, 2024 13:46 13m 17s lts-22
lts-22
February 20, 2024 13:46 13m 17s
Merge branch 'private_inst' into 'master' Check compilation #598: Commit c8f1828 pushed by adacore-bot
February 15, 2024 14:17 7m 21s master
master
February 15, 2024 14:17 7m 21s
Merge branch 'instrument_expr_func' into 'master' Check compilation #597: Commit 9b4b319 pushed by adacore-bot
February 14, 2024 10:05 15m 54s master
master
February 14, 2024 10:05 15m 54s
Merge branch 'sync/leo/139-fqn_bug' into 'master' Check compilation #596: Commit be0d0a6 pushed by adacore-bot
February 13, 2024 17:01 9m 7s master
master
February 13, 2024 17:01 9m 7s
Merge branch 'leo/110-filtered_min' into 'master' Check compilation #595: Commit 5317575 pushed by adacore-bot
February 13, 2024 14:43 9m 14s master
master
February 13, 2024 14:43 9m 14s
Merge branch 'leo/110-minimization' into 'master' Check compilation #594: Commit cb56858 pushed by adacore-bot
February 9, 2024 10:06 13m 15s master
master
February 9, 2024 10:06 13m 15s
Merge branch 'leo/fix_warnings' into 'master' Check compilation #593: Commit 5d9ad5e pushed by adacore-bot
February 1, 2024 11:16 11m 25s master
master
February 1, 2024 11:16 11m 25s
Merge branch 'eyraud/142' into 'master' Check compilation #592: Commit fef0e79 pushed by adacore-bot
January 22, 2024 14:41 2m 51s master
master
January 22, 2024 14:41 2m 51s
Merge branch 'topic/eng/ide/ada_language_server#1280' into 'master' Check compilation #591: Commit d24a7ce pushed by adacore-bot
January 19, 2024 14:29 6m 20s master
master
January 19, 2024 14:29 6m 20s
Merge branch 'fix_test_filtering_241' into '24.1' Check compilation #590: Commit e43a6a5 pushed by adacore-bot
January 17, 2024 13:59 2m 47s 24.2
24.2
January 17, 2024 13:59 2m 47s
Merge branch 'topic/lal_sem_diags' into 'master' Check compilation #589: Commit 80b3a81 pushed by adacore-bot
January 11, 2024 15:45 2m 54s master
master
January 11, 2024 15:45 2m 54s
Merge branch 'eyraud/134' into 'master' Check compilation #588: Commit 1a18c1d pushed by adacore-bot
January 4, 2024 13:41 5m 7s master
master
January 4, 2024 13:41 5m 7s
Merge branch 'fix_test_filtering_241' into '24.1' Check compilation #587: Commit e43a6a5 pushed by adacore-bot
December 15, 2023 08:45 4m 47s 24.1
24.1
December 15, 2023 08:45 4m 47s
Merge branch 'change_default_decoding_241' into '24.1' Check compilation #586: Commit ecb7289 pushed by adacore-bot
December 12, 2023 12:47 2m 35s 24.1
24.1
December 12, 2023 12:47 2m 35s
Merge branch '241_cherrypick' into '24.1' Check compilation #585: Commit 7ea73b9 pushed by adacore-bot
December 11, 2023 15:22 4m 39s 24.1
24.1
December 11, 2023 15:22 4m 39s