Skip to content

Actions: AdaCore/e3-core

Actions

build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
429 workflow runs
429 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
July 2, 2024 09:48 4m 39s