Skip to content

Actions: AdaCore/e3-core

Actions

build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
421 workflow runs
421 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'mr/ramonat/nested-entry-points' into 'master'
build #850: Commit 99b54e1 pushed by adacore-bot
October 4, 2024 08:47 4m 9s master
October 4, 2024 08:47 4m 9s
Merge branch 'mr/support-utf8' into 'master'
build #849: Commit f81e8d3 pushed by adacore-bot
September 27, 2024 15:06 4m 23s master
September 27, 2024 15:06 4m 23s
Merge branch 'morosi-cookiecutter' into 'master'
build #848: Commit 0f0bf66 pushed by adacore-bot
September 26, 2024 12:03 4m 16s master
September 26, 2024 12:03 4m 16s
September 25, 2024 15:26 4m 1s
Merge branch 'mr/kanya/update' into 'master'
build #846: Commit 38ce4dc pushed by adacore-bot
September 10, 2024 14:57 4m 15s master
September 10, 2024 14:57 4m 15s
Merge branch 'morosi-fix' into 'master'
build #845: Commit d5485da pushed by adacore-bot
September 10, 2024 13:10 3m 59s master
September 10, 2024 13:10 3m 59s
September 3, 2024 13:30 4m 23s
Merge branch 'mr/cardao/adjust-version-comp' into 'master'
build #843: Commit 86e2aeb pushed by adacore-bot
August 26, 2024 09:42 4m 8s master
August 26, 2024 09:42 4m 8s
Merge branch 'mr/cardao/support-rmtree-onexec' into 'master'
build #842: Commit 7ceede5 pushed by adacore-bot
August 23, 2024 15:50 4m 21s master
August 23, 2024 15:50 4m 21s
Merge branch 'mr/adjust_qualifier_serialization' into 'master'
build #841: Commit ab42541 pushed by adacore-bot
August 23, 2024 14:34 4m 24s master
August 23, 2024 14:34 4m 24s
Merge branch 'mr/qualifier_operators' into 'master'
build #840: Commit 8a841e5 pushed by adacore-bot
August 19, 2024 14:49 4m 16s master
August 19, 2024 14:49 4m 16s
Merge branch 'mr/cardao/improve-gitlab-ci' into 'master'
build #839: Commit cf5cfb4 pushed by adacore-bot
August 19, 2024 14:47 4m 13s master
August 19, 2024 14:47 4m 13s
Merge branch 'mr/cardao/fix-doc-ci' into 'master'
build #838: Commit e30b0bf pushed by adacore-bot
August 19, 2024 11:43 4m 0s master
August 19, 2024 11:43 4m 0s
Merge branch 'mr/adjust_egg_support' into 'master'
build #837: Commit 97b22a6 pushed by adacore-bot
August 16, 2024 08:23 4m 3s master
August 16, 2024 08:23 4m 3s
Merge branch 'mr/adjust_egg_support' into 'master'
build #836: Commit 96af400 pushed by adacore-bot
August 14, 2024 15:43 3m 47s master
August 14, 2024 15:43 3m 47s
Merge branch 'mr/switch_qualifiers_to_dict' into 'master'
build #835: Commit 28799dc pushed by adacore-bot
August 14, 2024 10:05 4m 11s master
August 14, 2024 10:05 4m 11s
Merge branch 'mr/change_post' into 'master'
build #834: Commit c5daf0a pushed by adacore-bot
August 14, 2024 07:32 4m 19s master
August 14, 2024 07:32 4m 19s
Merge branch 'morosi-fix' into 'master'
build #833: Commit c35fe3f pushed by adacore-bot
August 13, 2024 15:59 4m 12s master
August 13, 2024 15:59 4m 12s
August 13, 2024 14:15 4m 17s
Merge branch 'mr/sync_tree' into 'master'
build #831: Commit 5c5c1d5 pushed by adacore-bot
August 13, 2024 13:36 3m 58s master
August 13, 2024 13:36 3m 58s
August 9, 2024 17:53 4m 17s
Merge branch 'mr/pypi_improvements' into 'master'
build #829: Commit 6feda9c pushed by adacore-bot
August 6, 2024 10:15 4m 15s master
August 6, 2024 10:15 4m 15s
Merge branch 'mr/pypi_improvements' into 'master'
build #828: Commit fd84913 pushed by adacore-bot
August 6, 2024 08:23 4m 18s master
August 6, 2024 08:23 4m 18s
Merge branch 'mr/pypi_improvements' into 'master'
build #827: Commit 6650a36 pushed by adacore-bot
August 5, 2024 14:55 3m 24s master
August 5, 2024 14:55 3m 24s
July 31, 2024 13:24 4m 44s