Skip to content

Actions: AdaCore/e3-core

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
630 workflow runs
630 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'automatic-merge' into 'master' build #864: Commit 215911b pushed by adacore-bot
November 8, 2024 08:49 2m 49s master
master
November 8, 2024 08:49 2m 49s
Push on master CodeQL #201: by adacore-bot
November 8, 2024 08:49 1m 32s
November 8, 2024 08:49 1m 32s
Merge branch 'mr/cardao/fix-mypy-error' into 'master' build #863: Commit dabc72e pushed by adacore-bot
November 5, 2024 17:15 2m 48s master
master
November 5, 2024 17:15 2m 48s
Push on master CodeQL #200: by adacore-bot
November 5, 2024 17:15 1m 37s
November 5, 2024 17:15 1m 37s
Scheduled CodeQL #199: by github-advanced-security bot
November 5, 2024 16:51 1m 35s
November 5, 2024 16:51 1m 35s
Merge branch 'mr/cardao/improve-error-msg' into 'master' build #862: Commit 107bd5a pushed by adacore-bot
October 31, 2024 16:25 2m 51s master
master
October 31, 2024 16:25 2m 51s
Push on master CodeQL #198: by adacore-bot
October 31, 2024 16:25 1m 35s
October 31, 2024 16:25 1m 35s
Push on master CodeQL #197: by adacore-bot
October 31, 2024 15:57 1m 38s
October 31, 2024 15:57 1m 38s
Merge branch 'mr/cardao/fix-typing-error' into 'master' build #861: Commit e3a8396 pushed by adacore-bot
October 31, 2024 15:56 3m 3s master
master
October 31, 2024 15:56 3m 3s
Push on master CodeQL #196: by adacore-bot
October 30, 2024 14:22 2m 52s
October 30, 2024 14:22 2m 52s
Merge branch 'revert-193e07a0' into 'master' build #860: Commit c99dc0b pushed by adacore-bot
October 30, 2024 14:22 2m 56s master
master
October 30, 2024 14:22 2m 56s
Scheduled CodeQL #195: by github-advanced-security bot
October 29, 2024 16:51 2m 37s
October 29, 2024 16:51 2m 37s
Merge branch 'mr/ramonat/pathlib-support' into 'master' build #859: Commit ca335b2 pushed by adacore-bot
October 24, 2024 06:33 2m 43s master
master
October 24, 2024 06:33 2m 43s
Push on master CodeQL #194: by adacore-bot
October 24, 2024 06:33 2m 30s
October 24, 2024 06:33 2m 30s
Merge branch 'mr/leger/master/fix-bandit-b202' into 'master' build #858: Commit 193e07a pushed by adacore-bot
October 24, 2024 05:59 2m 46s master
master
October 24, 2024 05:59 2m 46s
Push on master CodeQL #193: by adacore-bot
October 24, 2024 05:59 2m 28s
October 24, 2024 05:59 2m 28s
Merge branch 'mr/ramonat/allow-running-mypy-on-macos' into 'master' build #857: Commit e9800c8 pushed by adacore-bot
October 23, 2024 12:20 2m 55s master
master
October 23, 2024 12:20 2m 55s
Push on master CodeQL #192: by adacore-bot
October 23, 2024 12:20 2m 28s
October 23, 2024 12:20 2m 28s
Scheduled CodeQL #191: by github-advanced-security bot
October 22, 2024 19:03 2m 39s
October 22, 2024 19:03 2m 39s
Merge branch 'mr/ramonat/e3-log-activate-once' into 'master' build #856: Commit 045136f pushed by adacore-bot
October 21, 2024 14:22 2m 53s master
master
October 21, 2024 14:22 2m 53s
Push on master CodeQL #190: by adacore-bot
October 21, 2024 14:22 2m 21s
October 21, 2024 14:22 2m 21s
Merge branch 'mr/ramonat/improve-wait-for-processes-test' into 'master' build #855: Commit 1a6bcce pushed by adacore-bot
October 21, 2024 12:18 3m 5s master
master
October 21, 2024 12:18 3m 5s
Push on master CodeQL #189: by adacore-bot
October 21, 2024 12:18 2m 12s
October 21, 2024 12:18 2m 12s
Merge branch 'mr/leger/master/18-investigate-why-test-are-so-long-on-… build #854: Commit 3784970 pushed by adacore-bot
October 21, 2024 10:56 2m 59s master
master
October 21, 2024 10:56 2m 59s
Push on master CodeQL #188: by adacore-bot
October 21, 2024 10:56 2m 2s
October 21, 2024 10:56 2m 2s