Skip to content

Actions: AdaCore/e3-core

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
582 workflow runs
582 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'automatic-merge' into 'master' build #903: Commit d834a23 pushed by adacore-bot
January 24, 2025 14:00 1m 41s master
master
January 24, 2025 14:00 1m 41s
Push on master CodeQL #245: by adacore-bot
January 24, 2025 14:00 1m 30s master
master
January 24, 2025 14:00 1m 30s
Merge branch 'mr/leger/master/fix-mypy-errors-on-windows' into 'master' build #902: Commit 9be339e pushed by adacore-bot
January 23, 2025 16:43 2m 46s master
master
January 23, 2025 16:43 2m 46s
Push on master CodeQL #244: by adacore-bot
January 23, 2025 16:43 1m 29s master
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
master
January 23, 2025 16:03 3m 4s
Push on master CodeQL #243: by adacore-bot
January 23, 2025 16:03 1m 25s master
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
master
January 23, 2025 15:34 2m 38s
Push on master CodeQL #242: by adacore-bot
January 23, 2025 15:34 1m 15s master
master
January 23, 2025 15:34 1m 15s
Merge branch 'mr/leger/master/skip-dll-closure-tests-on-windows' into… build #899: Commit 64ffd67 pushed by adacore-bot
January 23, 2025 14:27 2m 56s master
master
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
master
January 23, 2025 14:27 1m 57s
Scheduled CodeQL #240: by github-advanced-security bot
January 21, 2025 16:52 1m 31s master
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
master
January 21, 2025 14:08 2m 58s
Push on master CodeQL #239: by adacore-bot
January 21, 2025 14:08 1m 38s master
master
January 21, 2025 14:08 1m 38s
Merge branch 'mr/leger/master/fix-mingw-paths-in-dll-closure-check' i… build #897: Commit beb7162 pushed by adacore-bot
January 21, 2025 08:02 2m 39s master
master
January 21, 2025 08:02 2m 39s
Push on master CodeQL #238: by adacore-bot
January 21, 2025 08:01 1m 28s master
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
master
January 20, 2025 12:59 2m 31s
Push on master CodeQL #237: by adacore-bot
January 20, 2025 12:59 1m 31s master
master
January 20, 2025 12:59 1m 31s
Add missing Python version in tox environment name build #895: Pull request #739 synchronize by enzbang
January 20, 2025 10:47 2m 51s enzbang:mr/ramonat/fix-github-ci
enzbang:mr/ramonat/fix-github-ci
January 20, 2025 10:47 2m 51s
Add missing Python version in tox environment name build #894: Pull request #739 synchronize by enzbang
January 20, 2025 10:42 49s enzbang:mr/ramonat/fix-github-ci
enzbang:mr/ramonat/fix-github-ci
January 20, 2025 10:42 49s
Add missing Python version in tox environment name build #893: Pull request #739 synchronize by enzbang
January 20, 2025 10:33 2m 40s enzbang:mr/ramonat/fix-github-ci
enzbang:mr/ramonat/fix-github-ci
January 20, 2025 10:33 2m 40s
Add missing Python version in tox environment name build #892: Pull request #739 synchronize by enzbang
January 20, 2025 10:23 1m 38s enzbang:mr/ramonat/fix-github-ci
enzbang:mr/ramonat/fix-github-ci
January 20, 2025 10:23 1m 38s
Add missing Python version in tox environment name build #891: Pull request #739 synchronize by enzbang
January 20, 2025 10:19 58s enzbang:mr/ramonat/fix-github-ci
enzbang:mr/ramonat/fix-github-ci
January 20, 2025 10:19 58s
Add missing Python version in tox environment name build #890: Pull request #739 opened by enzbang
January 20, 2025 10:08 1m 40s enzbang:mr/ramonat/fix-github-ci
enzbang:mr/ramonat/fix-github-ci
January 20, 2025 10:08 1m 40s
Merge branch 'automatic-merge' into 'master' build #889: Commit 5538325 pushed by adacore-bot
January 15, 2025 11:47 1m 40s master
master
January 15, 2025 11:47 1m 40s
Push on master CodeQL #236: by adacore-bot
January 15, 2025 11:47 1m 38s master
master
January 15, 2025 11:47 1m 38s