Skip to content

Actions: AdaCore/e3-core

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
590 workflow runs
590 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Scheduled
CodeQL #232: by github-advanced-security bot
January 7, 2025 16:52 1m 14s master
January 7, 2025 16:52 1m 14s
January 6, 2025 13:12 1m 44s
Push on master
CodeQL #231: by adacore-bot
January 6, 2025 13:12 1m 16s master
January 6, 2025 13:12 1m 16s
Merge branch 'mr/ferrara/fix-e3-core-tests' into 'master'
build #885: Commit 95af7d8 pushed by adacore-bot
January 6, 2025 11:13 1m 40s master
January 6, 2025 11:13 1m 40s
Push on master
CodeQL #230: by adacore-bot
January 6, 2025 11:13 1m 13s master
January 6, 2025 11:13 1m 13s
Merge branch 'mr/ferrara/fix-e3-core-tests' into 'master'
build #884: Commit b954b87 pushed by adacore-bot
January 3, 2025 15:46 2m 50s master
January 3, 2025 15:46 2m 50s
Push on master
CodeQL #229: by github-advanced-security bot
January 3, 2025 15:46 1m 44s master
January 3, 2025 15:46 1m 44s
Scheduled
CodeQL #228: by github-advanced-security bot
December 31, 2024 16:51 1m 16s master
December 31, 2024 16:51 1m 16s
Scheduled
CodeQL #227: by github-advanced-security bot
December 24, 2024 16:51 1m 29s master
December 24, 2024 16:51 1m 29s
Merge branch 'mr/cardao/update-PyPILink' into 'master'
build #883: Commit c018f96 pushed by adacore-bot
December 19, 2024 17:15 1m 43s master
December 19, 2024 17:15 1m 43s
Push on master
CodeQL #226: by github-advanced-security bot
December 19, 2024 17:15 1m 46s master
December 19, 2024 17:15 1m 46s
Scheduled
CodeQL #225: by github-advanced-security bot
December 17, 2024 16:52 1m 12s master
December 17, 2024 16:52 1m 12s
Merge branch 'automatic-merge' into 'master'
build #882: Commit cad76e0 pushed by adacore-bot
December 17, 2024 09:22 1m 40s master
December 17, 2024 09:22 1m 40s
Push on master
CodeQL #224: by adacore-bot
December 17, 2024 09:22 1m 17s master
December 17, 2024 09:22 1m 17s
Merge branch 'mr/add_support_for_wsl_symlinks' into 'master'
build #881: Commit 5b4856c pushed by adacore-bot
December 16, 2024 15:09 1m 45s master
December 16, 2024 15:09 1m 45s
Push on master
CodeQL #223: by adacore-bot
December 16, 2024 15:09 1m 35s master
December 16, 2024 15:09 1m 35s
Merge branch 'morosi-fix' into 'master'
build #880: Commit eb7d2ea pushed by adacore-bot
December 16, 2024 14:32 1m 48s master
December 16, 2024 14:32 1m 48s
Push on master
CodeQL #222: by github-advanced-security bot
December 16, 2024 14:32 1m 42s master
December 16, 2024 14:32 1m 42s
Merge branch 'morosi-fix' into 'master'
build #879: Commit c3ba713 pushed by adacore-bot
December 16, 2024 08:16 1m 39s master
December 16, 2024 08:16 1m 39s
Push on master
CodeQL #221: by adacore-bot
December 16, 2024 08:16 1m 30s master
December 16, 2024 08:16 1m 30s
Merge branch 'mr/ramonat/use-importlib.metadata' into 'master'
build #878: Commit e618587 pushed by adacore-bot
December 13, 2024 14:58 1m 38s master
December 13, 2024 14:58 1m 38s
Push on master
CodeQL #220: by adacore-bot
December 13, 2024 14:58 1m 11s master
December 13, 2024 14:58 1m 11s
Merge branch 'mr/ramonat/replace-utcnow' into 'master'
build #877: Commit 6e9e3a5 pushed by adacore-bot
December 13, 2024 14:57 2m 53s master
December 13, 2024 14:57 2m 53s
Push on master
CodeQL #219: by adacore-bot
December 13, 2024 14:57 1m 10s master
December 13, 2024 14:57 1m 10s
Merge branch 'mr/cardao/add-sha512-support' into 'master'
build #876: Commit a6a22b5 pushed by adacore-bot
December 11, 2024 17:24 1m 49s master
December 11, 2024 17:24 1m 49s