Skip to content

Actions: AdaCore/e3-core

Actions

build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
376 workflow runs
376 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Merge branch 'mr/ramonat/remove-e3-config' into 'master'
build #825: Commit c9d9e3e pushed by adacore-bot
July 24, 2024 09:33 4m 46s master
July 24, 2024 09:33 4m 46s
July 22, 2024 15:10 4m 37s
Merge branch 'mr/ramonat/default-git-branch' into 'master'
build #823: Commit 502cad9 pushed by adacore-bot
July 19, 2024 14:50 4m 38s master
July 19, 2024 14:50 4m 38s
July 18, 2024 09:05 4m 39s
July 17, 2024 05:46 4m 38s
July 16, 2024 15:24 4m 16s
Merge branch 'mr/fetch-max-depth' into 'master'
build #819: Commit ffaa8c7 pushed by adacore-bot
July 16, 2024 12:21 4m 10s master
July 16, 2024 12:21 4m 10s
July 16, 2024 09:06 4m 8s
Merge branch 'mr/kanya/update' into 'master'
build #817: Commit 74a16d8 pushed by adacore-bot
July 15, 2024 13:03 4m 16s master
July 15, 2024 13:03 4m 16s
July 12, 2024 12:25 4m 38s
July 12, 2024 08:41 4m 23s
Merge branch 'mr/cardao/add-gitlab-ci' into 'master'
build #814: Commit 0cbf30b pushed by adacore-bot
July 11, 2024 16:05 4m 50s master
July 11, 2024 16:05 4m 50s
Merge branch 'mr/ramonat/get-default-git-branch' into 'master'
build #813: Commit b7c0073 pushed by adacore-bot
July 10, 2024 07:08 4m 46s master
July 10, 2024 07:08 4m 46s
July 9, 2024 10:00 4m 45s
July 3, 2024 14:45 4m 36s
Merge pull request #737 from elsaferrara/mr/shallow-since
build #809: Commit 7a97280 pushed by elsaferrara
July 3, 2024 10:04 4m 19s master
July 3, 2024 10:04 4m 19s