Skip to content

Actions: AdaCore/e3-core

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
338 workflow runs
338 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Push on master CodeQL #311: by adacore-bot
July 11, 2025 13:41 1m 10s master
master
July 11, 2025 13:41 1m 10s
Scheduled CodeQL #310: by github-advanced-security bot
July 8, 2025 16:50 1m 29s master
master
July 8, 2025 16:50 1m 29s
Merge branch 'mr/cardao/remove-bson' into 'master' build #943: Commit 32769c1 pushed by adacore-bot
July 8, 2025 09:01 1m 34s master
master
July 8, 2025 09:01 1m 34s
Push on master CodeQL #309: by adacore-bot
July 8, 2025 09:01 1m 8s master
master
July 8, 2025 09:01 1m 8s
Scheduled CodeQL #308: by github-advanced-security bot
July 1, 2025 16:52 1m 15s master
master
July 1, 2025 16:52 1m 15s
Merge branch 'mr/cardao/change-sqlite-table-id-type' into 'master' build #942: Commit d1bdfdf pushed by adacore-bot
July 1, 2025 15:21 1m 37s master
master
July 1, 2025 15:21 1m 37s
Push on master CodeQL #307: by adacore-bot
July 1, 2025 15:21 1m 35s master
master
July 1, 2025 15:21 1m 35s
Scheduled CodeQL #306: by github-advanced-security bot
June 24, 2025 16:50 1m 9s master
master
June 24, 2025 16:50 1m 9s
Merge branch 'mr/cardao/e3-core/shared_knowledge' into 'master' build #941: Commit 53f061d pushed by adacore-bot
June 24, 2025 15:42 1m 36s master
master
June 24, 2025 15:42 1m 36s
Push on master CodeQL #305: by adacore-bot
June 24, 2025 15:42 1m 16s master
master
June 24, 2025 15:42 1m 16s
Merge branch 'mr/cardao/imrpove-filename-parsing-implementation' into… build #940: Commit d23f5ab pushed by adacore-bot
June 23, 2025 14:49 1m 41s master
master
June 23, 2025 14:49 1m 41s
Push on master CodeQL #304: by adacore-bot
June 23, 2025 14:49 1m 15s master
master
June 23, 2025 14:49 1m 15s
Merge branch 'mr/cardao/fix-e3-pypi-closure-bug' into 'master' build #939: Commit 69e5387 pushed by adacore-bot
June 23, 2025 13:26 1m 34s master
master
June 23, 2025 13:26 1m 34s
Push on master CodeQL #303: by github-advanced-security bot
June 23, 2025 13:26 1m 33s master
master
June 23, 2025 13:26 1m 33s
Scheduled CodeQL #302: by github-advanced-security bot
June 17, 2025 16:52 1m 14s master
master
June 17, 2025 16:52 1m 14s
Merge branch 'mr/cardao/fix-fetch_candidate' into 'master' build #938: Commit ddd6ff7 pushed by adacore-bot
June 17, 2025 07:04 1m 37s master
master
June 17, 2025 07:04 1m 37s
Push on master CodeQL #301: by github-advanced-security bot
June 17, 2025 07:04 1m 38s master
master
June 17, 2025 07:04 1m 38s
Merge branch 'automatic-merge' into 'master' build #937: Commit c8898a6 pushed by adacore-bot
June 16, 2025 08:01 3m 19s master
master
June 16, 2025 08:01 3m 19s
Push on master CodeQL #300: by github-advanced-security bot
June 16, 2025 08:01 1m 41s master
master
June 16, 2025 08:01 1m 41s
Merge branch 'mr/cardao/add-anod-storage' into 'master' build #936: Commit b277500 pushed by adacore-bot
June 13, 2025 12:32 1m 39s master
master
June 13, 2025 12:32 1m 39s
Push on master CodeQL #299: by adacore-bot
June 13, 2025 12:32 1m 19s master
master
June 13, 2025 12:32 1m 19s
Merge branch 'mr/cardao/add-sanitize_package' into 'master' build #935: Commit 13e7654 pushed by adacore-bot
June 11, 2025 13:17 39s master
master
June 11, 2025 13:17 39s
Push on master CodeQL #298: by adacore-bot
June 11, 2025 13:17 1m 15s master
master
June 11, 2025 13:17 1m 15s
Scheduled CodeQL #297: by github-advanced-security bot
June 10, 2025 16:51 1m 8s master
master
June 10, 2025 16:51 1m 8s
Merge branch 'mr/cardao/handle-ValueError' into 'master' build #934: Commit 99737b9 pushed by adacore-bot
June 6, 2025 12:43 2m 37s master
master
June 6, 2025 12:43 2m 37s