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

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
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
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
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
October 21, 2024 09:39 3m 11s
Push on master
CodeQL #187: by adacore-bot
October 21, 2024 09:39 2m 23s
October 21, 2024 09:39 2m 23s
Scheduled
CodeQL #186: by github-advanced-security bot
October 15, 2024 16:50 2m 30s
October 15, 2024 16:50 2m 30s
Merge branch 'mr/ramonat/fix-wheel-tests' into 'master'
build #852: Commit a1f3d30 pushed by adacore-bot
October 14, 2024 14:00 3m 20s master
October 14, 2024 14:00 3m 20s
Push on master
CodeQL #185: by adacore-bot
October 14, 2024 14:00 2m 38s
October 14, 2024 14:00 2m 38s
Merge branch 'automatic-merge' into 'master'
build #851: Commit c5abc02 pushed by adacore-bot
October 14, 2024 13:02 4m 11s master
October 14, 2024 13:02 4m 11s
Push on master
CodeQL #184: by adacore-bot
October 14, 2024 13:02 2m 40s
October 14, 2024 13:02 2m 40s
Scheduled
CodeQL #183: by github-advanced-security bot
October 8, 2024 16:50 2m 38s
October 8, 2024 16:50 2m 38s
Merge branch 'mr/ramonat/nested-entry-points' into 'master'
build #850: Commit 99b54e1 pushed by adacore-bot
October 4, 2024 08:47 4m 9s master
October 4, 2024 08:47 4m 9s
Push on master
CodeQL #182: by adacore-bot
October 4, 2024 08:47 2m 18s
October 4, 2024 08:47 2m 18s
Scheduled
CodeQL #181: by github-advanced-security bot
October 1, 2024 16:51 2m 18s
October 1, 2024 16:51 2m 18s
Merge branch 'mr/support-utf8' into 'master'
build #849: Commit f81e8d3 pushed by adacore-bot
September 27, 2024 15:06 4m 23s master
September 27, 2024 15:06 4m 23s
Push on master
CodeQL #180: by adacore-bot
September 27, 2024 15:06 2m 3s
September 27, 2024 15:06 2m 3s
Merge branch 'morosi-cookiecutter' into 'master'
build #848: Commit 0f0bf66 pushed by adacore-bot
September 26, 2024 12:03 4m 16s master
September 26, 2024 12:03 4m 16s
Push on master
CodeQL #179: by adacore-bot
September 26, 2024 12:03 2m 11s
September 26, 2024 12:03 2m 11s
September 25, 2024 15:26 4m 1s
Push on master
CodeQL #178: by github-advanced-security bot
September 25, 2024 15:26 2m 39s
September 25, 2024 15:26 2m 39s
Scheduled
CodeQL #177: by github-advanced-security bot
September 24, 2024 16:51 2m 11s
September 24, 2024 16:51 2m 11s
Scheduled
CodeQL #176: by github-advanced-security bot
September 17, 2024 16:50 2m 36s
September 17, 2024 16:50 2m 36s