Skip to content

Actions: AdaCore/e3-core

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
613 workflow runs
613 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Push on master CodeQL #147: by github-advanced-security bot
July 24, 2024 09:33 2m 25s
July 24, 2024 09:33 2m 25s
Scheduled CodeQL #146: by github-advanced-security bot
July 23, 2024 16:49 2m 27s
July 23, 2024 16:49 2m 27s
Push on master CodeQL #145: by adacore-bot
July 22, 2024 15:10 2m 10s
July 22, 2024 15:10 2m 10s
Merge branch 'mr/leger/7-shared-lib-closure-check-does-not-raise-exce… build #824: Commit 69b819f pushed by adacore-bot
July 22, 2024 15:10 4m 37s master
master
July 22, 2024 15:10 4m 37s
Push on master CodeQL #144: by adacore-bot
July 19, 2024 14:51 2m 3s
July 19, 2024 14:51 2m 3s
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
master
July 19, 2024 14:50 4m 38s
Push on master CodeQL #143: by adacore-bot
July 18, 2024 09:05 2m 17s
July 18, 2024 09:05 2m 17s
Merge branch 'mr/cardao/dont-ignore-vcs-when-external-checkout' into … build #822: Commit d62ca5c pushed by adacore-bot
July 18, 2024 09:05 4m 39s master
master
July 18, 2024 09:05 4m 39s
Push on master CodeQL #142: by adacore-bot
July 17, 2024 05:46 2m 32s
July 17, 2024 05:46 2m 32s
Merge branch 'mr/leger/2-spdx-version-does-not-match-the-description'… build #821: Commit eda2043 pushed by adacore-bot
July 17, 2024 05:46 4m 38s master
master
July 17, 2024 05:46 4m 38s
Scheduled CodeQL #141: by github-advanced-security bot
July 16, 2024 16:49 2m 13s
July 16, 2024 16:49 2m 13s
Merge branch 'mr/leger/1-class-main-from-main-py-does-not-use-its-nam… build #820: Commit 3deba8c pushed by adacore-bot
July 16, 2024 15:24 4m 16s master
master
July 16, 2024 15:24 4m 16s
Push on master CodeQL #140: by adacore-bot
July 16, 2024 15:24 2m 35s
July 16, 2024 15:24 2m 35s
Push on master CodeQL #139: by adacore-bot
July 16, 2024 12:21 2m 29s
July 16, 2024 12:21 2m 29s
Merge branch 'mr/fetch-max-depth' into 'master' build #819: Commit ffaa8c7 pushed by adacore-bot
July 16, 2024 12:21 4m 10s master
master
July 16, 2024 12:21 4m 10s
Merge branch 'mr/cardao/fix-windows-dir-symlink' into 'master' build #818: Commit e0734ef pushed by adacore-bot
July 16, 2024 09:06 4m 8s master
master
July 16, 2024 09:06 4m 8s
Push on master CodeQL #138: by adacore-bot
July 16, 2024 09:06 2m 33s
July 16, 2024 09:06 2m 33s
Merge branch 'mr/kanya/update' into 'master' build #817: Commit 74a16d8 pushed by adacore-bot
July 15, 2024 13:03 4m 16s master
master
July 15, 2024 13:03 4m 16s
Push on master CodeQL #137: by adacore-bot
July 15, 2024 13:03 2m 39s
July 15, 2024 13:03 2m 39s
Merge branch 'mr/cardao/CI/do-windows-and-linux-tests-at-same-time' i… build #816: Commit 21a30a5 pushed by adacore-bot
July 12, 2024 12:25 4m 38s master
master
July 12, 2024 12:25 4m 38s
Push on master CodeQL #136: by adacore-bot
July 12, 2024 12:25 2m 39s
July 12, 2024 12:25 2m 39s
Push on master CodeQL #135: by adacore-bot
July 12, 2024 08:41 2m 4s
July 12, 2024 08:41 2m 4s
Merge branch 'mr/ramonat/separate-svn-and-git-tests' into 'master' build #815: Commit 92965f6 pushed by adacore-bot
July 12, 2024 08:41 4m 23s master
master
July 12, 2024 08:41 4m 23s
Push on master CodeQL #134: by adacore-bot
July 11, 2024 16:05 2m 25s
July 11, 2024 16:05 2m 25s
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
master
July 11, 2024 16:05 4m 50s