Skip to content

Actions: AdaCore/e3-core

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
336 workflow runs
336 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Scheduled CodeQL #325: by github-advanced-security bot
August 19, 2025 16:51 1m 19s master
master
August 19, 2025 16:51 1m 19s
Merge branch 'mr/cardao/improve-inheritance-capability' into 'master' build #952: Commit 29ad463 pushed by adacore-bot
August 19, 2025 13:13 1m 40s master
master
August 19, 2025 13:13 1m 40s
Push on master CodeQL #324: by adacore-bot
August 19, 2025 13:13 1m 12s master
master
August 19, 2025 13:13 1m 12s
Merge branch 'mr/cardao/general-store-improvement' into 'master' build #951: Commit d6e0adf pushed by adacore-bot
August 13, 2025 14:54 1m 37s master
master
August 13, 2025 14:54 1m 37s
Push on master CodeQL #323: by adacore-bot
August 13, 2025 14:54 1m 9s master
master
August 13, 2025 14:54 1m 9s
Merge branch 'mr/cardao/add-localstore-interface' into 'master' build #950: Commit 9197922 pushed by adacore-bot
August 13, 2025 14:47 1m 30s master
master
August 13, 2025 14:47 1m 30s
Push on master CodeQL #322: by adacore-bot
August 13, 2025 14:47 1m 11s master
master
August 13, 2025 14:47 1m 11s
Scheduled CodeQL #321: by github-advanced-security bot
August 12, 2025 16:50 1m 11s master
master
August 12, 2025 16:50 1m 11s
Merge branch 'mr/cardao/fix-empty-rm' into 'master' build #949: Commit fec9192 pushed by adacore-bot
August 12, 2025 13:20 1m 36s master
master
August 12, 2025 13:20 1m 36s
Push on master CodeQL #320: by adacore-bot
August 12, 2025 13:20 1m 11s master
master
August 12, 2025 13:20 1m 11s
Scheduled CodeQL #319: by github-advanced-security bot
August 5, 2025 16:50 1m 29s master
master
August 5, 2025 16:50 1m 29s
Merge branch 'mr/leger/master/remove-useless-log-of-the-rm-function' … build #948: Commit 06a9974 pushed by adacore-bot
August 1, 2025 12:34 1m 34s master
master
August 1, 2025 12:34 1m 34s
Push on master CodeQL #318: by adacore-bot
August 1, 2025 12:34 1m 24s master
master
August 1, 2025 12:34 1m 24s
Scheduled CodeQL #317: by github-advanced-security bot
July 29, 2025 16:51 1m 15s master
master
July 29, 2025 16:51 1m 15s
Merge branch 'mr/tree_corruption' into 'master' build #947: Commit 9eec903 pushed by adacore-bot
July 24, 2025 20:56 1m 34s master
master
July 24, 2025 20:56 1m 34s
Push on master CodeQL #316: by adacore-bot
July 24, 2025 20:56 1m 11s master
master
July 24, 2025 20:56 1m 11s
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