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 #161: by adacore-bot
August 14, 2024 15:43 2m 22s
August 14, 2024 15:43 2m 22s
Merge branch 'mr/switch_qualifiers_to_dict' into 'master' build #835: Commit 28799dc pushed by adacore-bot
August 14, 2024 10:05 4m 11s master
master
August 14, 2024 10:05 4m 11s
Push on master CodeQL #160: by adacore-bot
August 14, 2024 10:05 2m 14s
August 14, 2024 10:05 2m 14s
Push on master CodeQL #159: by adacore-bot
August 14, 2024 07:32 2m 14s
August 14, 2024 07:32 2m 14s
Merge branch 'mr/change_post' into 'master' build #834: Commit c5daf0a pushed by adacore-bot
August 14, 2024 07:32 4m 19s master
master
August 14, 2024 07:32 4m 19s
Scheduled CodeQL #158: by github-advanced-security bot
August 13, 2024 16:49 2m 21s
August 13, 2024 16:49 2m 21s
Merge branch 'morosi-fix' into 'master' build #833: Commit c35fe3f pushed by adacore-bot
August 13, 2024 15:59 4m 12s master
master
August 13, 2024 15:59 4m 12s
Push on master CodeQL #157: by adacore-bot
August 13, 2024 15:59 2m 6s
August 13, 2024 15:59 2m 6s
Push on master CodeQL #156: by adacore-bot
August 13, 2024 14:15 2m 13s
August 13, 2024 14:15 2m 13s
Merge branch 'mr/cardao/implement-qualifiers-fuzz-matching' into 'mas… build #832: Commit 5d7f4e2 pushed by adacore-bot
August 13, 2024 14:15 4m 17s master
master
August 13, 2024 14:15 4m 17s
Push on master CodeQL #155: by adacore-bot
August 13, 2024 13:36 2m 17s
August 13, 2024 13:36 2m 17s
Merge branch 'mr/sync_tree' into 'master' build #831: Commit 5c5c1d5 pushed by adacore-bot
August 13, 2024 13:36 3m 58s master
master
August 13, 2024 13:36 3m 58s
Push on master CodeQL #154: by adacore-bot
August 9, 2024 17:53 2m 6s
August 9, 2024 17:53 2m 6s
Merge branch 'topic/bernardi/add-aarch64-freebsd-to-platform-db' into… build #830: Commit 14087ea pushed by adacore-bot
August 9, 2024 17:53 4m 17s master
master
August 9, 2024 17:53 4m 17s
Scheduled CodeQL #153: by github-advanced-security bot
August 6, 2024 16:49 2m 7s
August 6, 2024 16:49 2m 7s
Merge branch 'mr/pypi_improvements' into 'master' build #829: Commit 6feda9c pushed by adacore-bot
August 6, 2024 10:15 4m 15s master
master
August 6, 2024 10:15 4m 15s
Push on master CodeQL #152: by adacore-bot
August 6, 2024 10:15 2m 17s
August 6, 2024 10:15 2m 17s
Push on master CodeQL #151: by adacore-bot
August 6, 2024 08:23 2m 9s
August 6, 2024 08:23 2m 9s
Merge branch 'mr/pypi_improvements' into 'master' build #828: Commit fd84913 pushed by adacore-bot
August 6, 2024 08:23 4m 18s master
master
August 6, 2024 08:23 4m 18s
Merge branch 'mr/pypi_improvements' into 'master' build #827: Commit 6650a36 pushed by adacore-bot
August 5, 2024 14:55 3m 24s master
master
August 5, 2024 14:55 3m 24s
Push on master CodeQL #150: by adacore-bot
August 5, 2024 14:55 2m 9s
August 5, 2024 14:55 2m 9s
Merge branch 'mr/cardao/skip-missing-qualifiers-exception' into 'master' build #826: Commit c7c0eb9 pushed by adacore-bot
July 31, 2024 13:24 4m 44s master
master
July 31, 2024 13:24 4m 44s
Push on master CodeQL #149: by github-advanced-security bot
July 31, 2024 13:24 3m 7s
July 31, 2024 13:24 3m 7s
Scheduled CodeQL #148: by github-advanced-security bot
July 30, 2024 16:48 3m 2s
July 30, 2024 16:48 3m 2s
Merge branch 'mr/ramonat/remove-e3-config' into 'master' build #825: Commit c9d9e3e pushed by adacore-bot
July 24, 2024 09:33 4m 46s master
master
July 24, 2024 09:33 4m 46s