Skip to content

Actions: AdaCore/e3-core

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
580 workflow runs
580 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Scheduled
CodeQL #248: by github-advanced-security bot
January 28, 2025 16:52 1m 39s master
January 28, 2025 16:52 1m 39s
Merge branch 'automatic-merge' into 'master'
build #905: Commit 8a2ea9b pushed by adacore-bot
January 28, 2025 09:30 2m 52s master
January 28, 2025 09:30 2m 52s
Push on master
CodeQL #247: by adacore-bot
January 28, 2025 09:30 1m 33s master
January 28, 2025 09:30 1m 33s
January 28, 2025 08:48 1m 42s
Push on master
CodeQL #246: by github-advanced-security bot
January 28, 2025 08:48 2m 1s master
January 28, 2025 08:48 2m 1s
Merge branch 'automatic-merge' into 'master'
build #903: Commit d834a23 pushed by adacore-bot
January 24, 2025 14:00 1m 41s master
January 24, 2025 14:00 1m 41s
Push on master
CodeQL #245: by adacore-bot
January 24, 2025 14:00 1m 30s master
January 24, 2025 14:00 1m 30s
January 23, 2025 16:43 2m 46s
Push on master
CodeQL #244: by adacore-bot
January 23, 2025 16:43 1m 29s master
January 23, 2025 16:43 1m 29s
Merge branch 'mr/ramonat/detect-windows-11' into 'master'
build #901: Commit 488e453 pushed by adacore-bot
January 23, 2025 16:03 3m 4s master
January 23, 2025 16:03 3m 4s
Push on master
CodeQL #243: by adacore-bot
January 23, 2025 16:03 1m 25s master
January 23, 2025 16:03 1m 25s
Merge branch 'mr/ramonat/get-rid-of-httpretty' into 'master'
build #900: Commit f791962 pushed by adacore-bot
January 23, 2025 15:34 2m 38s master
January 23, 2025 15:34 2m 38s
Push on master
CodeQL #242: by adacore-bot
January 23, 2025 15:34 1m 15s master
January 23, 2025 15:34 1m 15s
January 23, 2025 14:27 2m 56s
Push on master
CodeQL #241: by github-advanced-security bot
January 23, 2025 14:27 1m 57s master
January 23, 2025 14:27 1m 57s
Scheduled
CodeQL #240: by github-advanced-security bot
January 21, 2025 16:52 1m 31s master
January 21, 2025 16:52 1m 31s
Merge branch 'morosi-feat' into 'master'
build #898: Commit 9a1302b pushed by adacore-bot
January 21, 2025 14:08 2m 58s master
January 21, 2025 14:08 2m 58s
Push on master
CodeQL #239: by adacore-bot
January 21, 2025 14:08 1m 38s master
January 21, 2025 14:08 1m 38s
January 21, 2025 08:02 2m 39s
Push on master
CodeQL #238: by adacore-bot
January 21, 2025 08:01 1m 28s master
January 21, 2025 08:01 1m 28s
Merge branch 'mr/ramonat/fix-github-ci' into 'master'
build #896: Commit 8a9dc52 pushed by adacore-bot
January 20, 2025 12:59 2m 31s master
January 20, 2025 12:59 2m 31s
Push on master
CodeQL #237: by adacore-bot
January 20, 2025 12:59 1m 31s master
January 20, 2025 12:59 1m 31s