Skip to content

Actions: AdaCore/e3-core

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
365 workflow runs
365 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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
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
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
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
June 13, 2025 12:32 1m 39s
Push on master
CodeQL #299: by adacore-bot
June 13, 2025 12:32 1m 19s master
June 13, 2025 12:32 1m 19s
June 11, 2025 13:17 39s
Push on master
CodeQL #298: by adacore-bot
June 11, 2025 13:17 1m 15s master
June 11, 2025 13:17 1m 15s
Scheduled
CodeQL #297: by github-advanced-security bot
June 10, 2025 16:51 1m 8s 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
June 6, 2025 12:43 2m 37s
Push on master
CodeQL #296: by github-advanced-security bot
June 6, 2025 12:43 1m 52s master
June 6, 2025 12:43 1m 52s
Scheduled
CodeQL #295: by github-advanced-security bot
June 3, 2025 16:50 1m 14s master
June 3, 2025 16:50 1m 14s
Scheduled
CodeQL #294: by github-advanced-security bot
May 27, 2025 16:51 1m 11s master
May 27, 2025 16:51 1m 11s
Merge branch 'mr/ferrara/virus-check' into 'master'
build #933: Commit cb693e3 pushed by adacore-bot
May 26, 2025 13:35 45s master
May 26, 2025 13:35 45s
Push on master
CodeQL #293: by adacore-bot
May 26, 2025 13:35 1m 16s master
May 26, 2025 13:35 1m 16s
Merge branch 'mr/ferrara/virus-check' into 'master'
build #932: Commit 64e0908 pushed by adacore-bot
May 26, 2025 08:27 51s master
May 26, 2025 08:27 51s
Push on master
CodeQL #292: by adacore-bot
May 26, 2025 08:27 1m 37s master
May 26, 2025 08:27 1m 37s
Scheduled
CodeQL #291: by github-advanced-security bot
May 20, 2025 16:50 1m 24s master
May 20, 2025 16:50 1m 24s
Merge branch 'mr/cardao/fix-NPMLink-split' into 'master'
build #931: Commit 44257cf pushed by adacore-bot
May 20, 2025 09:43 46s master
May 20, 2025 09:43 46s
Push on master
CodeQL #290: by adacore-bot
May 20, 2025 09:43 2m 21s master
May 20, 2025 09:43 2m 21s
May 20, 2025 09:16 43s
Push on master
CodeQL #289: by github-advanced-security bot
May 20, 2025 09:16 2m 9s master
May 20, 2025 09:16 2m 9s
Merge branch 'mr/cardao/fix-npm-typing' into 'master'
build #929: Commit da06a71 pushed by adacore-bot
May 19, 2025 15:49 45s master
May 19, 2025 15:49 45s
Push on master
CodeQL #288: by adacore-bot
May 19, 2025 15:49 1m 24s master
May 19, 2025 15:49 1m 24s
Push on master
CodeQL #287: by adacore-bot
May 19, 2025 12:05 1m 30s master
May 19, 2025 12:05 1m 30s