Skip to content

Actions: AdaCore/e3-core

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
366 workflow runs
366 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'mr/ramonat/preserve-git-config-with-e3-pytest' into 'ma… build #946: Commit 5b7e8e8 pushed by adacore-bot
July 24, 2025 09:04 1m 39s master
master
July 24, 2025 09:04 1m 39s
Push on master CodeQL #315: by adacore-bot
July 24, 2025 09:04 1m 16s master
master
July 24, 2025 09:04 1m 16s
Scheduled CodeQL #314: by github-advanced-security bot
July 22, 2025 16:50 1m 16s master
master
July 22, 2025 16:50 1m 16s
Scheduled CodeQL #313: by github-advanced-security bot
July 15, 2025 16:50 1m 7s master
master
July 15, 2025 16:50 1m 7s
Merge branch 'mr/support-for-test-dependencies' into 'master' build #945: Commit edfd526 pushed by adacore-bot
July 15, 2025 14:36 1m 30s master
master
July 15, 2025 14:36 1m 30s
Push on master CodeQL #312: by adacore-bot
July 15, 2025 14:36 1m 20s master
master
July 15, 2025 14:36 1m 20s
Merge branch 'mr/support-for-test-dependencies' into 'master' build #944: Commit 8a0817b pushed by adacore-bot
July 11, 2025 13:41 1m 33s master
master
July 11, 2025 13:41 1m 33s
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